Ihre Bestellung

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

gefunden im Sachgebiet: Englischsprachige BÃŒcher Computer (engl.)

EUR2,40
inkl. MwSt. zzgl. Versand: EUR 3,10
Lieferzeit: 2 - 5 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 76 mal aufgerufen

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Antiquariat der Stunde

Literatur- und Kunstantiquariat Harald Neumann
Gallusstr. 56
DE-53227 Bonn

Mehr Information & Angebote

Interessante Themen

Schachspielen … Benediktionale … Dysthymie … Schadenersatz … Biophysik … Frauenpolitik … Bauernseufzer … Menschenkinder … Marmor … Amphitrion

Mehr Themen anschauen

· Vorderasien [1397] vom 05.11.2018

· Griechenland [1396] vom 05.11.2018

· Lebensberater [1395] vom 05.11.2018

· Kakteen und Zimmerpflanzen [1394] vom 04.11.2018

· Allgemeine Geographie [1392] vom 25.10.2018

Alle Kataloge anschauen

Statistiken

7.836.433 Angebote

106.085.216 Besucher gesamt (seit 15.08.2005)

0 Besucher heute

0 Besucher gestern