Tools and Algorithms for the Construction and Analysis of Systems 1

Data & IT

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg • Michael Huth

Pocket

1499:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

740 sidor
2007

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

Författare: Orna Grumberg, Michael Huth
Illustratör: Bibliographie
Format: Pocket/Paperback
ISBN: 9783540712084
Språk: Engelska
Antal sidor: 740
Utgivningsdatum: 2007-03-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K