Gesamtpreis (1 Artikel Artikel):
Versandziel:
programs recursion unbounded choice von hesselink wim (5 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (5)
- 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 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (2)
Sprache (2)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Programs, Recursion and Unbounded Choice
Buch 10 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 0521404363 ISBN 13: 9780521404365
SonderangebotEUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules
Verlag: Cambridge University Press, 1992
ISBN 10: 0521404363 ISBN 13: 9780521404365
Anbieter: Attic Books (ABAC, ILAB), London, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very good +. Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf.
-
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Series Number 27) (Volume 0)
Buch 10 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018293 ISBN 13: 9780521018296
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,53
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Programs Recursion Unbounded Choice: 27 (Cambridge Tracts in Theoretical Computer Science, Series Number 27)
Buch 10 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018293 ISBN 13: 9780521018296
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . . Books ship from the US and Ireland.
-
Programs, Recursion and Unbounded Choice
Buch 10 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018293 ISBN 13: 9780521018296
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.
