Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Libro electrónico
€15.60 EUR
 
      - 
  Herramientas de estudioHerramientas de estudio incorporadas, como resaltados y más 
- 
  Leer en voz altaEscucha y sigue la narración mientras Bookshelf lee para ti 
- 
  Acceso sin conexiónAccede a tu libro de texto electrónico en cualquier momento y en cualquier lugar 
- 
  Búsqueda generalBusca entre el contenido del libro, las figuras y tu libro de trabajo 
         Más de 25 años de transformación digital
        Más de 25 años de transformación digital
      
      - 
  4500 Instituciones 
- 
  +230 Países y territorios 
- 
  +10 000 Editores 
- 
  +18 M Usuarios activos