Computer Aided Verification
de Isil Dillig
2 / 10 1 valoración
Gratis- Idioma
- Inglés
- Publicación
- 2019
- Editorial
- Springer International Publishing
- Páginas
- 673
- ISBN
- 9783030255404
Temas
- Programming
- Mathematics
- Business & Economics
- Computer Science
- Computers
- Computer Simulation
- Computer Networks
- Discrete Mathematics
- Artificial intelligence
- Software Engineering
- Information technology
- Hardware
- Careers
- Software Development & Engineering
- Computer Modelling
- Computer Engineering
- Systems Analysis & Design
- Compilers
- The Computing Profession (Springer)
Edición original
Computer Aided VerificationPublicado originalmente en 2019 Inglés Springer International Publishing
Otras ediciones (4)
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
- Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Todavía no hay resumen de esta edición.
Abriendo el lector…
Todavía no hay reseñas. ¿Escribes la primera?