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

- 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

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

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540787990
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 520
  • Veröffentlicht:
  • 18. März 2008
  • Ausgabe:
  • 2008
  • Abmessungen:
  • 234x156x27 mm.
  • Gewicht:
  • 819 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

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

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

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.