Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science (663), Band 663)

Verification

von: David K. Probst · Gregor von Bochmann

Taschenbuch

EAN=ISBN-13: 978-3-540-56496-6

ISBN-10: 3-540-56496-9

Springer · 2008
S. auch (eventuell von anderen Autoren):
1994PaperbackComputer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992: Proceedings (Lecture Notes in Computer Science)