Computer Aided Verification
de Isil Dillig
2 / 10 1 note
- Langue
- Anglais
- Parution
- 2020
- Éditeur
- Creative Media Partners, LLC
- Pages
- 558
- ISBN
- 9781013271151
Thèmes
- 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)
Édition originale
Computer Aided VerificationParu pour la première fois en 2019 Anglais Springer International Publishing
Autres éditions (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
Pas encore de résumé pour cette édition.
Aucun avis pour l’instant. À toi d’ouvrir le bal !