Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science) - Henzinger, Thomas, Alur, Rajeev

2008,  Springer,  Taschenbuch 492 Seiten 755 g ISBN: 9783540614746 Zustand: gebraucht, sehr gut - leichte Lagerspuren / minor shelfwear Bestell-Nr.: 93068   Preis: 9,85 € incl. MwSt   zzgl. Versandkosten innerhalb Deutschlands 3,15€   Lieferzeit ca. 3-5 Werktage  in den Warenkorb     Impressum | AGB und Kundeninformationen | Widerrufsrecht | Zahlung und Versand | Datenschutzerklärung   Copyright (c) 2025 VendiLibri All rights reserved