The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,) - Tapa blanda
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para The Programming and Proof Systems Ates: Advanced Techniques...
Imagen de archivo
The Programming and Proof System ATES. Advanced Techniques Intergration into Efficient Scientific Software
Publicado por
Springer-Verlag, 1991
ISBN 10: 0387541888
ISBN 13: 9780387541884
Antiguo o usado
Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 341 pp., softcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB276611
Comprar usado
EUR 27,82
Envío por EUR 3,88
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Programming and Proof Systems Ates
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 341. Nº de ref. del artículo: 263163071
Comprar usado
EUR 49,48
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Programming and Proof Systems Ates
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 341. Nº de ref. del artículo: 4717664
Comprar usado
EUR 45,63
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Programming and Proof Systems Ates
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 341. Nº de ref. del artículo: 183163061
Comprar usado
EUR 46,39
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)
Publicado por
Springer Verlag, 1991
ISBN 10: 0387541888
ISBN 13: 9780387541884
Antiguo o usado
Paperback
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA77303875418886
Comprar usado
EUR 85,77
Envío por EUR 28,91
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles