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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4424 |
Release date: |
March 2007 |
First published: |
2007 |
Editors: |
Orna Grumberg
• Michael Huth
|
Dimensions: |
229 x 152 x 38mm (L x W x T) |
Format: |
Paperback
|
Pages: |
740 |
Edition: |
2007 ed. |
ISBN-13: |
978-3-540-71208-4 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-71208-9 |
Barcode: |
9783540712084 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!