Tools and Algorithms for the Construction and Analysis of Systems Lenore Zuck
Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, Einband: Taschenbuch, Autor: Lenore Zuck, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 612, Maße: 235x155x33 mm, Gewicht: 914 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Internet / Programmierung Algorithm analysis and problem complexity Java Serial ATA Simulation Systems Design Systems development algorithms automata debugging logic program analysis programming systems analysis systems modeling systems specification systems verification.
Jetzt bei Ebay:
-
Seiten:612
-
Gewicht:914
-
Einband:Taschenbuch
-
Marke:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Tools and Algorithms for the Construction and Analysis of Systems
-
Buchtitel:Tools and Algorithms for the Construction and Analysis of Systems
-
Untertitel:11th International Conference, TACAS 2005, Held as Part of the...
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:EDV / Theorie / Informatik / Allgemeines Internet / Programmi...
-
ISBN:9783540253334
-
Reihe:Theoretical Computer Science And General Issues
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2005
-
Anzahl der Seiten:612 Seiten
-
Autor:Lenore Zuck, Nicolas Halbwachs
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Publikationsname:Tools And Algorithms For The Construction And Analysis of Systems
-
Sprache:Englisch
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere