Tools and Algorithms For the Construction and Analysis Of Systems
by Margaria, Tiziana
Available Copies
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... (Lecture Notes in Computer Science)
by Margaria, Tiziana [Editor]; Yi, Wang [Editor];
- Condition
- Used - Very Good
- Published
- 2001-03-21
- Binding
- Paperback
- ISBN
- 9783540418658
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
$29.59
Show Details
Description:
Springer, 2001-03-21. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding. Item Price
$29.59
![Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.](https://d3525k1ryd2155.cloudfront.net/h/490/869/1588869490.0.m.jpg)
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783540610427
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
$62.83
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.. Item Price
$62.83
![Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20](https://d3525k1ryd2155.cloudfront.net/h/498/718/1588718498.0.m.jpg)
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783540418658
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
$120.57
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20. Item Price
$120.57
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 : Proceedings [Paperback
by Tiziana Margaria
- Condition
- Used
- ISBN
- 9780387610429
- Quantity Available
- 1
- Seller
-
Maritime Quarter, Swansea, GBR
- Item Price
-
$168.74
Show Details
Description:
In overall good condition, no pages missing. Shipping can take between 2-6weeks for international deliveries. Hardback copies may or may not have dust jackets, please get in contact for more information. Item Price
$168.74
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783540610427
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
$76.85
Show Details
Description:
Paperback / softback. New. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. Item Price
$76.85