Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch
2000, ISBN: 3540415173
[EAN: 9783540415176], Nouveau livre, [SC: 10.99], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; COQ; FORMALMETHODS; FORMALSPECIFIC… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Note: 5 (sur 5)] NEW BOOK. Versandkosten: EUR 10.99 Details... |
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch
2000, ISBN: 3540415173
[EAN: 9783540415176], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; COQ; FORMALMETHODS; FORMALSPECIFICATION; F… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - neues Buch
2000, ISBN: 3540415173
2000 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische … Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Types For Proofs And Programs: International Workshop, Types'99, Lerg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch
ISBN: 9783540415176
Europe: Springer, 2000. Paperback. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540415176, Springer, 2000, 6
Biblio.co.uk |
2001, ISBN: 9783540415176
FisicalBook, Taschenbuch, Publiziert: 2001T, Produktgruppe: Buch, Kategorien, Bücher, Taschenbücher, FisicalBook, 2001
amazon.de DZK BOOKS EU Versandkosten:Gewöhnlich versandfertig in 2 bis 3 Tagen. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) Details... |
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch
2000, ISBN: 3540415173
[EAN: 9783540415176], Nouveau livre, [SC: 10.99], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; COQ; FORMALMETHODS; FORMALSPECIFIC… Mehr…
Thierry Coquand:
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch2000, ISBN: 3540415173
[EAN: 9783540415176], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; COQ; FORMALMETHODS; FORMALSPECIFICATION; F… Mehr…
Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers - neues Buch
2000
ISBN: 3540415173
2000 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische … Mehr…
Types For Proofs And Programs: International Workshop, Types'99, Lerg, Sweden, June 12-16, 1999, Selected Papers - Taschenbuch
ISBN: 9783540415176
Europe: Springer, 2000. Paperback. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540415176, Springer, 2000, 6
2001, ISBN: 9783540415176
FisicalBook, Taschenbuch, Publiziert: 2001T, Produktgruppe: Buch, Kategorien, Bücher, Taschenbücher, FisicalBook, 2001
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - types-for-proofs-and-programs
EAN (ISBN-13): 9783540415176
ISBN (ISBN-10): 3540415173
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: FisicalBook
208 Seiten
Gewicht: 0,322 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-18T05:19:50+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-03T00:09:01+02:00 (Berlin)
ISBN/EAN: 9783540415176
ISBN - alternative Schreibweisen:
3-540-41517-3, 978-3-540-41517-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: smith jan, nordstrm, nordström, coq, nordstrom, smith peter, wolfgang held, peter gordon, bernhard möhring, bernhard press, thorsten, dings wolfgang, wolfgang reus, nordstroem, coquand
Titel des Buches: proofs and types, sweden, workship, june, who who 1999, computer type, lecture notes computer science, international and programs, typ
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540221647 Types for Proofs and Programs (Berardi, Stefano Coppo, Mario Damiani, Ferruccio)
- 9783540140313 Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv (Herman Geuvers; Freek Wiedijk)
< zum Archiv...