Gesamtpreis (1 Artikel Artikel):
Versandziel:
constable r l (7 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (7)
- 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 (3)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (1)
- 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
-
An Introduction to the Pl/Cv2 Programming Logic
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
SonderangebotEUR 5,84
EUR 20,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
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.
-
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: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 40,31
EUR 7,47 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
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1982, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.
-
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.
