Descripción:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL CONFERENCE, TYPES 2007, CIVIDALE DEL FRIULI, ITALY, MAY 2-5, 2007, REVISED SELECTED PAPERS de FURIO HONSELL, MARINO MICULAN, IVAN SCAGNETTO
de FURIO HONSELL, MARINO MICULAN, IVAN SCAGNETTO
Te mostramos ejemplares similares más abajo.
Te mostramos ejemplares similares a la derecha.
Foto de archivo: la portada puede ser diferente
TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL CONFERENCE, TYPES 2007, CIVIDALE DEL FRIULI, ITALY, MAY 2-5, 2007, REVISED SELECTED PAPERS
de FURIO HONSELL, MARINO MICULAN, IVAN SCAGNETTO
- Nuevo
USA Edition . Brand New. Brand New Fast Delivery ! Delivery with In 7-14 working Day Only.
- Librería HR Global Books (US)
- Estado del libro Nuevo Brand New
- Cantidad disponible 5
- Edición USA Edition
- ISBN 10 3540680845
- ISBN 13 9783540680840
Tenemos 6 ejemplares disponibles a partir de EUR 26.83.
Foto de archivo: la portada puede ser diferente
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
de Furio Honsell, Marino Miculan, Ivan Scagnetto
- Nuevo
- Estado
- Nuevo
- Estado de la sobrecubierta
- New
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 1
- Librería
-
New Delhi, India
- Precio
-
EUR 26.83EUR 5.00 enviando a
Mostrar detalles
Precio
EUR 26.83
EUR 5.00
enviando a
Foto de archivo: la portada puede ser diferente
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)
de Miculan, Marino [Editor]; Scagnetto, Ivan [Editor]; Honsell, Furio [Editor];
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 27.15EUR 5.99 enviando a
Mostrar detalles
Descripción:
Springer, 2008-05-26. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Precio
EUR 27.15
EUR 5.99
enviando a
Foto de archivo: la portada puede ser diferente
Types for Proofs and Programs
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 4
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 39.31EUR 3.99 enviando a
Mostrar detalles
Descripción:
Springer , pp. 220 . Papeback. New.
Precio
EUR 39.31
EUR 3.99
enviando a
Foto de archivo: la portada puede ser diferente
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
de Marino Miculan
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 848
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 63.22EUR 7.99 enviando a
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers.
Precio
EUR 63.22
EUR 7.99
enviando a
Foto de archivo: la portada puede ser diferente
Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
de Miculan, Marino (Editor)/ Scagnetto, Ivan (Editor)/ Honsell, Furio (Editor)
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 66.36EUR 10.00 enviando a
Mostrar detalles
Descripción:
Springer-Verlag New York Inc, 2008. Paperback. New. 1st edition. 203 pages. 9.50x6.25x0.50 inches.
Precio
EUR 66.36
EUR 10.00
enviando a
Foto de archivo: la portada puede ser diferente
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
de Marino Miculan
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540680840 / 3540680845
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 70.47EUR 9.95 enviando a
Mostrar detalles
Descripción:
Paperback / softback. New. This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory.
Precio
EUR 70.47
EUR 9.95
enviando a