✕

Rechnerunterstützung formaler Beweissprachen., Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 244
5 Angebote vergleichen

Preise201320142015
Schnitt€ 19,00 € 19,00 € 19,00
Nachfrage
Bester Preis: € 19,00 (vom 31.08.2013)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
Anlauff, Matthias

Rechnerunterstützung formaler Beweissprachen., Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 244 (1995)

Lieferung erfolgt aus/von: Deutschland DE PB

ISBN: 9783486233964 bzw. 3486233963, in Deutsch, Oldenbourg, München, Deutschland, Taschenbuch.

€ 19,00 + Versand: € 8,90 = € 27,90
unverbindlich
Von Händler/Antiquariat, Antiquariat Mehlig [50489567], Bonn, Germany.
Sprache: de Gewicht in Gramm: 0 (XII, 162 S.), kartoniert mit Bibliotheksstempeln.
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
2
9783486233964 - Anlauff, Matthias: Rechnerunterstützung formaler Beweissprachen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 244
Anlauff, Matthias

Rechnerunterstützung formaler Beweissprachen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 244 (1995)

Lieferung erfolgt aus/von: Deutschland DE US

ISBN: 9783486233964 bzw. 3486233963, in Deutsch, München, Oldenbourg, gebraucht.

€ 19,00 + Versand: € 1,90 = € 20,90
unverbindlich
Antiquariat Axel Mehlig, [3406281].
(XII, 162 S.), kartoniert mit Bibliotheksstempeln.
Mehr beobachten speichern
Bestellen bei Booklooker.de
bezahlter Link
3
Anlauff, Matthias

Rechnerunterstützung formaler Beweissprachen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 244

Lieferung erfolgt aus/von: Deutschland DE US

ISBN: 3486233963 bzw. 9783486233964, in Deutsch, München, Oldenbourg, 1995. gebraucht.

€ 19,00 + Versand: € 1,90 = € 20,90
unverbindlich
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Antiquariat Mehlig, [2255].
(XII, 162 S.), kartoniert mit Bibliotheksstempeln.
Mehr beobachten speichern
Bestellen bei ZVAB.com
bezahlter Link
4
Matthias Anlauff

Rechnerunterstützung formaler Beweissprachen (1995)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783486233964 bzw. 3486233963, in Deutsch, 174 Seiten, Oldenbourg, München, Deutschland, Taschenbuch, gebraucht.

€ 19,00
unverbindlich
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Antiquariat Mehlig.
Broschiert, Produktgruppe: Book, Publiziert: 1995.
Mehr beobachten speichern
Bestellen bei Amazon.de
bezahlter Link
5
Matthias Anlauff

Rechnerunterstützung formaler Beweissprachen (1995)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783486233964 bzw. 3486233963, in Deutsch, 174 Seiten, Oldenbourg Wissenschaftsverlag, Taschenbuch, gebraucht.

€ 19,00
unverbindlich
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Antiquariat Mehlig.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Amazon.de
bezahlter Link