Tools and Algorithms For the Construction and Analysis Of Systems
por Margaria, Tiziana
Cópias Disponíveis
![Nenhuma imagem disponível](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)
por Margaria, Tiziana [Editor]; Yi, Wang [Editor];
- Condição
- Usado - Very Good
- Published
- 2001-03-21
- Encadernação
- Paperback
- ISBN
- 9783540418658
- Quantidade Disponível
- 1
- Livreiro
-
Spring Branch, Texas, USA
- Preço do item
-
€ 27,89
Mostrar detalhes
Descrição:
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. Preço do item
€ 27,89
![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.
por Tiziana Margaria
- Condição
- New
- ISBN
- 9783540610427
- Quantidade Disponível
- 1
- Livreiro
-
Uxbridge, Greater London, GBR
- Preço do item
-
€ 58,47
Mostrar detalhes
Descrição:
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.. Preço do item
€ 58,47
![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
por Tiziana Margaria
- Condição
- New
- ISBN
- 9783540418658
- Quantidade Disponível
- 1
- Livreiro
-
Uxbridge, Greater London, GBR
- Preço do item
-
€ 112,22
Mostrar detalhes
Descrição:
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. Preço do item
€ 112,22
![Nenhuma imagem disponível](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
por Tiziana Margaria
- Condição
- Usado
- ISBN
- 9780387610429
- Quantidade Disponível
- 1
- Livreiro
-
Maritime Quarter, Swansea, GBR
- Preço do item
-
€ 157,05
Mostrar detalhes
Descrição:
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. Preço do item
€ 157,05
![Nenhuma imagem disponível](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.
por Tiziana Margaria
- Condição
- New
- Encadernação
- Paperback / softback
- ISBN
- 9783540610427
- Quantidade Disponível
- 1
- Livreiro
-
Southport, Merseyside, GBR
- Preço do item
-
€ 71,53
Mostrar detalhes
Descrição:
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. Preço do item
€ 71,53