Tools and Algorithms for the Construction and Analysis of Systems Raskin (u. a.)
Ø 0.0
0 Bewertungen
51,90 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems | Zusatz: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Medium: Taschenbuch | Redaktion: Jean-François Raskin (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xix / 961 S. / 220 s/w Illustr. / 961 p. 220 illus. | Auflage: 1st edition 2016 | Sprache: Englisch | Seiten: 984 | Maße: 235 x 155 x 53 mm | Erschienen: 09.04.2016 | Anbieter: Buchbär.
Jetzt bei Ebay:
-
Publikationsname:Tools and Algorithms for the Construction and Analysis of Systems
-
Autor:Jean-François Raskin
-
Produktart:Mathematik
-
Erscheinungsjahr:2016
-
Sprache:Englisch
-
Anzahl der Seiten:984
-
Marke:Springer Berlin, Springer Berlin Heidelberg
-
Hersteller:Springer Berlin, Springer Berlin Heidelberg
-
Herstellernummer:978-3-662-49673-2
-
Verlag:Springer Berlin, Springer Berlin Heidelberg
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:1st edition 2016
-
Titelzusatz:22nd International Conference, TACAS 2016, Held as Part of the Eu
-
Schlagworte:Informatik, Compiler und Übersetzer, EDV, APP, Application, Theor
-
Redaktion:Jean-François Raskin
-
Herstellungsland und -region:Deutschland
-
ISBN:3662496739
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 19. July 2025 und 22. July 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