Thomas Henzinger – författare

Visar alla böcker från författaren Thomas Henzinger. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Computer Aided Verification

   8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

   Av Rajeev Alur, Thomas Henzinger

   Häftad, 1996

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a …