David K. Probst – författare

Visar alla böcker från författaren David K. Probst. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Computer Aided Verification

   Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

   Av Gregor von Bochmann, David K. Probst

   Häftad, 1993

   569 kr

   Lägg i varukorg

   This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories …