Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424)
US$42.73
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by zufuvuke.cyon.site
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$42.73
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by zufuvuke.cyon.site
Free 30-day returns Details
Product details
| Management number | 231945658 | Release Date | 2026/06/18 | List Price | US$42.73 | Model Number | 231945658 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3540712089 |
|---|---|
| ISBN13 | 978-3540712084 |
| Edition | 2007th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.72 x 9.25 inches |
| Item Weight | 2.3 pounds |
| Print length | 760 pages |
| Publication date | March 9, 2007 |
Bestseller ranking
Sleep Supplements
Customers who viewed this product also viewed
Foot & Leg Rests
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form