Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings - Brossura

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings

Altre edizioni note dello stesso titolo

9783540564966: Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings: 663

Edizione in evidenza

ISBN 10:  3540564969 ISBN 13:  9783540564966
Casa editrice: Springer, 2008
Brossura