Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Rudolf Haag: Types for Proofs and Programs (ISBN: 9783540314295) 2004, Springer, Berlin/Heidelberg, Deutschland, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Types for Proofs and Programs - 11 Angebote vergleichen
| Preise | Dez. 16 | Feb. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 60,79 | € 68,45 | € 68,26 |
| Nachfrage |
Types for Proofs and Programs (2004)
DE PB NWISBN: 9783540314295 bzw. 3540314296, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Types for Proofs and Programs (2004)
DE NW EB DLISBN: 9783540314295 bzw. 3540314296, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (2004)
DE NW EB DLISBN: 9783540314295 bzw. 3540314296, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Types for Proofs and Programs
DE NW EB DLISBN: 9783540314295 bzw. 3540314296, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
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) (2006)
DE PB NW FEISBN: 9783540314288 bzw. 3540314288, in Deutsch, Springer-Verlag New York Inc, Taschenbuch, neu, Erstausgabe.
1st edition. 275 pages. 9.00x6.10x0.70 inches. In Stock.
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
DE USISBN: 9783540314288 bzw. 3540314288, in Deutsch, Springer Berlin Heidelberg, Springer Berlin Heidelberg, Springer Berlin Heidelberg, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)
DE USISBN: 9783540314288 bzw. 3540314288, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Types for Proofs and Programs (2006)
DE PB NWISBN: 9783540314288 bzw. 3540314288, in Deutsch, Springer-Verlag Gmbh Jan 2006, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Types for Proofs and Programs
DE NWISBN: 9783540314288 bzw. 3540314288, in Deutsch, Springer, neu.
Types for Proofs and Programs
EN NW EB DLISBN: 9783540314295 bzw. 3540314296, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen