Von dem Buch Concrete Semantics, With Isabelle/Hol haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

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%: Nipkow, Tobias; Klein, Gerwin: Concrete Semantics, With Isabelle/Hol (ISBN: 9783319357591) 2016, in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Concrete Semantics. With Isabelle/HOL100%: Nipkow, Tobias (Author)/ Klein, Gerwin (Author): Concrete Semantics. With Isabelle/HOL (ISBN: 9783319105413) in Deutsch, Broschiert.
Nur diese Ausgabe anzeigen…
Im folgenden zeigen wir Ihnen alle derzeit lieferbaren Angebote aller dieser Bücher.
✕

Concrete Semantics, With Isabelle/Hol - 10 Angebote vergleichen

Bester Preis: € 63,99 (vom 02.10.2016)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
Gerwin Klein

Concrete Semantics (2016)

Lieferung erfolgt aus/von: Deutschland DE PB NW RP

ISBN: 9783319357591 bzw. 331935759X, in Deutsch, Springer Sep 2016, Taschenbuch, neu, Nachdruck.

€ 64,19
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
2
Tobias Nipkow, Gerwin Klein

Concrete Semantics, With Isabelle/Hol (2016)

Lieferung erfolgt aus/von: Niederlande DE PB NW

ISBN: 9783319357591 bzw. 331935759X, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.

€ 63,99
unverbindlich
Lieferung aus: Niederlande, Vermoedelijk 4-6 weken.
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Bol.com
bezahlter Link
3
9783319105413 - Tobias Nipkow: Concrete Semantics
Symbolbild
Tobias Nipkow

Concrete Semantics (2014)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319105413 bzw. 3319105418, in Deutsch, Springer-Verlag Gmbh Dez 2014, Taschenbuch, neu.

€ 64,19 + Versand: € 9,95 = € 74,14
unverbindlich
Von Händler/Antiquariat, Rhein-Team Lörrach Ivano Narducci e.K. [57451429], Lörrach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
4
TOBIAS NIPKOW

Concrete Semantics. With Isabelle/HOL (2016)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE PB NW

ISBN: 9783319357591 bzw. 331935759X, in Deutsch, Springer, Taschenbuch, neu.

€ 64,18 + Versand: € 9,23 = € 73,41
unverbindlich
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
5
9783319105413 - TOBIAS NIPKOW: Concrete Semantics. With Isabelle/HOL
Symbolbild
TOBIAS NIPKOW

Concrete Semantics. With Isabelle/HOL (2014)

Lieferung erfolgt aus/von: Deutschland DE HC US

ISBN: 9783319105413 bzw. 3319105418, in Deutsch, Springer, gebundenes Buch, gebraucht.

€ 92,80 + Versand: € 10,85 = € 103,65
unverbindlich
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
6
9783319105413 - Nipkow, Tobias (Author)/ Klein, Gerwin (Author): Concrete Semantics: With Isabelle/HOL
Symbolbild
Nipkow, Tobias (Author)/ Klein, Gerwin (Author)

Concrete Semantics: With Isabelle/HOL (2015)

Lieferung erfolgt aus/von: Deutschland DE HC NW

ISBN: 9783319105413 bzw. 3319105418, in Deutsch, Springer, gebundenes Buch, neu.

€ 75,44 + Versand: € 8,14 = € 83,58
unverbindlich
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
9.30x6.20 inches. In Stock.
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
7
Tobias Nipkow

Concrete Semantics (2016)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE NW RP

ISBN: 9783319357591 bzw. 331935759X, in Deutsch, Springer International Publishing AG, neu, Nachdruck.

€ 65,40 + Versand: € 11,54 = € 76,94
unverbindlich
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
8
9783319105413 - Klein, Gerwin;Nipkow, Tobias: Concrete Semantics
Klein, Gerwin;Nipkow, Tobias

Concrete Semantics

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 9783319105413 bzw. 3319105418, in Deutsch, neu.

€ 64,19
unverbindlich
Lieferung aus: Deutschland, zzgl. Versandkosten, 3319105418.
A Proof Assistant Approach, A Proof Assistant Approach.
Mehr beobachten speichern
Bestellen bei Ebook.de (IN)
bezahlter Link
9
9783319105413 - Nipkow, Tobias; Klein, Gerwin: Concrete Semantics: With Isabelle/HOL
Symbolbild
Nipkow, Tobias; Klein, Gerwin

Concrete Semantics: With Isabelle/HOL

Lieferung erfolgt aus/von: Kanada DE HC NW

ISBN: 9783319105413 bzw. 3319105418, in Deutsch, Springer, gebundenes Buch, neu.

€ 99,45 + Versand: € 6,26 = € 105,71
unverbindlich
Von Händler/Antiquariat, Russell Books [337725], Victoria, BC, Canada.
3319105418 Special order direct from the distributor.
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
10
Gerwin Klein; Tobias Nipkow

Concrete Semantics: With Isabelle/HOL (2016)

Lieferung erfolgt aus/von: Deutschland DE PB NW RP

ISBN: 9783319357591 bzw. 331935759X, in Deutsch, Springer, Taschenbuch, neu, Nachdruck.

€ 68,77
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, English-Book-Service Mannheim [1048135], Mannheim, Germany.
This item is printed on demand for shipment within 3 working days.
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link