Programs Recursion Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, 27, Band 27) - Softcover
Buch 10 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
A complete account of the predicate transformation calculus semantics of sequential programs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Programs Recursion Unbounded Choice (Cambridge Tracts...
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521018293
ISBN 13: 9780521018296
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. A complete account of the predicate transformation calculus semantics of sequential programs. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521018296
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Series Number 27)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521018296
Neu kaufen
EUR 63,79
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 237 pages. 9.50x6.50x0.70 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521018293
Neu kaufen
EUR 60,56
EUR 11,46 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Series Number 27)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521018296_new
Neu kaufen
EUR 59,55
EUR 13,73 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programs Recursion Unbounded Choice (Cambridge Tracts in Theoretical Computer Science)
Verlag:
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521018293
ISBN 13: 9780521018296
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521018296
Neu kaufen
EUR 56,41
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Programs Recursion Unbounded Choice: 27 (Cambridge Tracts in Theoretical Computer Science, Series Number 27)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
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. . . . . Bestandsnummer des Verkäufers V9780521018296
Neu kaufen
EUR 68,49
EUR 10,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Verlag:
Cambridge University Press, 2005
ISBN 10: 0521018293
ISBN 13: 9780521018296
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521018296
Neu kaufen
EUR 64,36
EUR 17,14 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Verlag:
Cambridge University Press CUP, 2005
ISBN 10: 0521018293
ISBN 13: 9780521018296
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 240. Bestandsnummer des Verkäufers 26402152
Neu kaufen
EUR 84,78
EUR 3,43 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 240 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 7445815
Neu kaufen
EUR 83,50
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Programs Recursion Unbounded Choice: 27 (Cambridge Tracts in Theoretical Computer Science, Series Number 27)
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. Bestandsnummer des Verkäufers V9780521018296
Neu kaufen
EUR 83,96
EUR 9,03 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar