Start    |     Sachgebiete    |     Warenkorb

Büchersuche:

 Autor:
 Titel:
 Jahr:
 ISBN:
 Verlag: 
 

   

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

Ohne Bild  

2008,  Springer, 
Taschenbuch
492 Seiten 755 g ISBN: 9783540614746
Zustand: gebraucht, sehr gut - leichte Lagerspuren / minor shelfwear Bestell-Nr.: 93068

  Preis: 3,05 € incl. MwSt
  zzgl. Versandkosten innerhalb Deutschlands 3,00€
  Lieferzeit ca. 3-5 Werktage

 in den Warenkorb