Artículos relacionados a Types for Proofs and Programs: International Workshop,...
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 60,63
EUR 5,20 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Types for Proofs and Programs: International Workshop,...
Imagen de archivo
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 1
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Nº de ref. del artículo: M03540314288-V
Cantidad disponible: 1 disponibles
Imagen de archivo
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540314288_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1520260
Cantidad disponible: 1 disponibles
Imagen del vendedor
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 6381063-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540314288
Cantidad disponible: 10 disponibles
Imagen del vendedor
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 6381063-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Types for Proofs and Programs
Publicado por
Springer Berlin Heidelberg, 2006
ISBN 10: 3540314288
ISBN 13: 9783540314288
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2004Issues of formal reasoning and computer programming based on type theory are addressedCovers languag. Nº de ref. del artículo: 4887593
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Types for Proofs and Programs
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 290. Nº de ref. del artículo: 263069255
Cantidad disponible: 4 disponibles
Imagen de archivo
Types for Proofs and Programs
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 290 Illus. Nº de ref. del artículo: 5859992
Cantidad disponible: 4 disponibles
Imagen de archivo
Types for Proofs and Programs
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 290. Nº de ref. del artículo: 183069261
Cantidad disponible: 4 disponibles