Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

- 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

enthalten in Lecture Notes in Computer Science-Reihe

enthalten in Theoretical Computer Science and General Issues-Reihe

Tools and Algorithms for the Construction and Analysis of Systems
Über Tools and Algorithms for the Construction and Analysis of Systems

The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642548611
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 652
  • Veröffentlicht:
  • 27. Februar 2014
  • Ausgabe:
  • 2014
  • Abmessungen:
  • 235x155x34 mm.
  • Gewicht:
  • 1015 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Tools and Algorithms for the Construction and Analysis of Systems

The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.

Kund*innenbewertungen von Tools and Algorithms for the Construction and Analysis of Systems



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Tools and Algorithms for the Construction and Analysis of Systems ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.