Gesamtpreis (1 Artikel Artikel):
Versandziel:
r l constable (9 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (9)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (4)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (3)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Implementing Mathematics With the Nuprl Proof Development System
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
A programming logic
Sprache: Englisch
Verlag: Cambridge, Mass. Winthrop Publishers , Â 1978., 1978
ISBN 10: 0876267266 ISBN 13: 9780876267264
Anbieter: Alcaná Libros, Madrid, M, Spanien
Verkäuferbewertung 5 von 5 Sternen
tapa dura. Zustand: Bien. A programming logic : with an introduction to the PL Cambridge, Mass. Winthrop Publishers , Â 1978. 24 cm. x,389 pages. Encuadernación en tapa dura de editorial con sobrecubierta. Idioma Inglés. CV verifier / Robert L. Constable, Michael J. O'Donnell. Bibliography: p370-381 . Sobrecubierta deslucida. ISBN: 0876267266 (=3141436=) PO147.
-
Implementing Mathematics With The Nuprl Proof Development System
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Implementing Mathematics with the Nuprl Proof Development System
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 36,51
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 304.
-
Implementing Mathematics with the Nuprl Proof Development System
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 304.
-
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science, 135)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Programming Logic : With an Introduction to the PL/CV Verifier
Sprache: Englisch
Verlag: Winthrop Publishers, Incorporated, 1978
ISBN 10: 0876267266 ISBN 13: 9780876267264
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,12
EUR 5,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
An Introduction to the PL/CV2 Programming Logic
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
-
Taschenbuch. Zustand: Neu. An Introduction to the PL/CV2 Programming Logic | R. L. Constable (u. a.) | Taschenbuch | x | Englisch | 1982 | Springer | EAN 9783540114925 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
