Computer Aided Verification
by Isil Dillig
2 / 10 1 rating
Free- Language
- English
- Published
- 2019
- Publisher
- Springer International Publishing
- Pages
- 673
- ISBN
- 9783030255404
Subjects
- 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)
Original edition
Computer Aided VerificationOriginally published in 2019 English Springer International Publishing
Other editions (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
No summary for this edition yet.
Opening the reader…
No reviews yet. Be the first.