Tools and Algorithms for the Construction of Analysis of Systems Cleaveland Buch
Ø 0.0
0 Bewertungen
51,90 €
Titel: Tools and Algorithms for the Construction of Analysis of Systems | Zusatz: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | Medium: Taschenbuch | Redaktion: W. Rance Cleaveland | Einband: Kartoniert / Broschiert | Inhalt: xii / 456 S. | Ausstattung / Beilage: Paperback | Auflage: 1999 | Sprache: Englisch | Seiten: 468 | Reihe: Lecture Notes in Computer Science | Maße: 279 x 216 x 26 mm | Erschienen: 10.03.1999 | Anbieter: Buchbär.
Jetzt bei Ebay:
-
Buchtitel:Tools and Algorithms for the Construction of Analysis of Systems
-
Autor:W. Rance Cleaveland
-
Sprache:Englisch
-
Buchreihe:Lecture Notes in Computer Science
-
Erscheinungsjahr:1999
-
Anzahl der Seiten:468
-
Marke:Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
-
Hersteller:Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
-
Herstellernummer:10703113
-
Verlag:Springer-Verlag GmbH, Springer Berlin Heidelberg, Lecture Notes i
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:1999
-
Titelzusatz:5th International Conference, TACAS'99, Held as Part of the Joint
-
Schlagworte:Informatik, Algebra, EDV, Theorie, Software-Entw, Software Engine
-
Redaktion:W. Rance Cleaveland
-
Herstellungsland und -region:Deutschland
-
ISBN:3540657037
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 13. May 2025 und 14. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere