Die Antiquariatsbuchplattform von


Erweiterte Suche
Mein Konto    Warenkorb
Sie haben keine Artikel im Warenkorb.  

Suchergebnisse der Detailsuche

Kosten anzeigen für:

Es wurden insgesamt 1 Artikel gefunden. Artikel 1 bis 1 werden dargestellt.


Massinek, Mieke, Stefan Leue and Dennis Dams: Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. [Notes in Computer Science, Vol. 1680]. Springer, 2008. 290 p. Softcover/Paperback ISBN: 9783540664994 Like new. Shrink wrapped. / Neuwertiger Zustand. In Folie verschweißt.
Buchdetails ansehen...

Bestell-Nr.: 819748 - gefunden im Sachgebiet: Informatik, Hardware, Software
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, DE-10439 Berlin Prenzlauer Berg

EUR 7,10
inkl. MwSt., zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage
Preis umrechnen

In den Warenkorb

 


Wenn nicht anders angegeben, ist in den Preisen der EU-Anbieter Mehrwertsteuer enthalten.

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren

Bei Linkarena speichern

Top