. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0521018293 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 47,55 €, größter Preis: 69,76 €, Mittelwert: 57,53 €
Programs, Recursion and Unbounded Choice - Hesselink, Wim H. Wim H. , Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hesselink, Wim H. Wim H. , Hesselink:
Programs, Recursion and Unbounded Choice - Taschenbuch

ISBN: 9780521018296

[ED: Softcover], [PU: CAMBRIDGE UNIV PR], 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.237 p.Versandfertig in über 4 Wochen, [SC: 0.00]

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Hesselink, Wim H
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hesselink, Wim H:
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

2005, ISBN: 9780521018296

ID: 913172291

Cambridge University Press, 2005-08-22. Paperback. Used:Good. Ships Fast. Expedite Shipping Available., Cambridge University Press, 2005-08-22

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 14.13
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Programs Recursion and Unbounded Choice - Wim H. Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wim H. Hesselink:
Programs Recursion and Unbounded Choice - neues Buch

ISBN: 9780521018296

ID: 9780521018296

Programs Recursion and Unbounded Choice Author :Wim H. Hesselink 9780521018296 0521018293, [PU: Cambridge University Press]

Neues Buch printsasia.de
new Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Taschenbuch

2005, ISBN: 9780521018296

ID: 6680649

Softcover, Buch, [PU: Cambridge University Press]

Neues Buch Lehmanns.de
Versandkosten:Versand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Taschenbuch

ISBN: 9780521018296

ID: 9780521018296

paperback, [PU: Cambridge University Press]

Neues Buch Blackwell.co.uk
Blackwells.co.uk
in stock Versandkosten:Usually dispatched within 7 days (EUR 1.22)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Programs, Recursion and Unbounded Choice
Autor:

Hesselink, Wim H.; Wim H. , Hesselink

Titel:

Programs, Recursion and Unbounded Choice

ISBN-Nummer:

A complete account of the predicate transformation calculus semantics of sequential programs.

Detailangaben zum Buch - Programs, Recursion and Unbounded Choice


EAN (ISBN-13): 9780521018296
ISBN (ISBN-10): 0521018293
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: CAMBRIDGE UNIV PR
240 Seiten
Gewicht: 0,386 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 20.12.2007 20:20:41
Buch zuletzt gefunden am 16.02.2017 13:54:09
ISBN/EAN: 0521018293

ISBN - alternative Schreibweisen:
0-521-01829-3, 978-0-521-01829-6


< zum Archiv...
Benachbarte Bücher