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: 2,40 € incl. MwSt   zzgl. Versandkosten innerhalb Deutschlands 3,00€   Lieferzeit ca. 3-5 Werktage