Tools and Algorithms For the Construction and Analysis Of Systems
de Margaria, Tiziana
Ejemplares disponibles
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)
de Margaria, Tiziana [Editor]; Yi, Wang [Editor];
- Estado
- Usado - Very Good
- Published
- 2001-03-21
- Encuadernación
- Paperback
- ISBN
- 9783540418658
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, USA
- Precio
-
EUR 28.00
Mostrar detalles
Descripción:
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. Precio
EUR 28.00
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
de Tiziana Margaria
- Estado
- New
- ISBN
- 9783540610427
- Cantidad disponible
- 1
- Librería
-
Uxbridge, Greater London, GBR
- Precio
-
EUR 58.58
Mostrar detalles
Descripción:
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.. Precio
EUR 58.58
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
de Tiziana Margaria
- Estado
- New
- ISBN
- 9783540418658
- Cantidad disponible
- 1
- Librería
-
Uxbridge, Greater London, GBR
- Precio
-
EUR 112.42
Mostrar detalles
Descripción:
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. Precio
EUR 112.42
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 : Proceedings [Paperback
de Tiziana Margaria
- Estado
- Usado
- ISBN
- 9780387610429
- Cantidad disponible
- 1
- Librería
-
Maritime Quarter, Swansea, GBR
- Precio
-
EUR 157.34
Mostrar detalles
Descripción:
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. Precio
EUR 157.34
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
de Tiziana Margaria
- Estado
- New
- Encuadernación
- Paperback / softback
- ISBN
- 9783540610427
- Cantidad disponible
- 1
- Librería
-
Southport, Merseyside, GBR
- Precio
-
EUR 71.66
Mostrar detalles
Descripción:
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. Precio
EUR 71.66