Tools and Algorithms For the Construction and Analysis Of Systems

by Margaria, Tiziana

Show all copies

Available Copies

No image available

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
GuthrieBooks
Spring Branch, Texas, USA
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£23.65

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
£23.65
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

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
Ria Christie Collections
Uxbridge, Greater London, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£48.96

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
£48.96
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

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
Ria Christie Collections
Uxbridge, Greater London, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£93.96

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
£93.96
No image available

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
Cheap Geographical Essays
Maritime Quarter, Swansea, GBR
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£131.50

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
£131.50
No image available

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
The Saint Bookstore
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£59.89

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
£59.89