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

Von Bochmann, G.

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

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3540564969 ISBN 13 :  9783540564966
Editeur : Springer, 2008
Couverture souple