English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 47.55 €, highest price: 69.76 €, average price: 57.53 €
Programs, Recursion and Unbounded Choice - Hesselink, Wim H. Wim H. , Hesselink
book is out-of-stock
(*)
Hesselink, Wim H. Wim H. , Hesselink:
Programs, Recursion and Unbounded Choice - Paperback

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]

New book Booklooker.de
buecher.de GmbH & Co. KG
Shipping costs:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Hesselink, Wim H
book is out-of-stock
(*)
Hesselink, Wim H:
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Paperback

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

Used or antiquarian book Biblio.com
Ergodebooks
Shipping costs: EUR 14.13
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Programs Recursion and Unbounded Choice - Wim H. Hesselink
book is out-of-stock
(*)
Wim H. Hesselink:
Programs Recursion and Unbounded Choice - new book

ISBN: 9780521018296

ID: 9780521018296

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

New book printsasia.de
new Shipping costs: EUR 0.00
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
book is out-of-stock
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Paperback

2005, ISBN: 9780521018296

ID: 6680649

Softcover, Buch, [PU: Cambridge University Press]

New book Lehmanns.de
Shipping costs:Versand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
book is out-of-stock
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Paperback

ISBN: 9780521018296

ID: 9780521018296

paperback, [PU: Cambridge University Press]

New book Blackwell.co.uk
Blackwells.co.uk
in stock Shipping costs:Usually dispatched within 7 days (EUR 1.22)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Programs, Recursion and Unbounded Choice

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

Details of the book - Programs, Recursion and Unbounded Choice


EAN (ISBN-13): 9780521018296
ISBN (ISBN-10): 0521018293
Paperback
Publishing year: 2005
Publisher: CAMBRIDGE UNIV PR
240 Pages
Weight: 0,386 kg
Language: eng/Englisch

Book in our database since 20.12.2007 20:20:41
Book found last time on 16.02.2017 13:54:09
ISBN/EAN: 0521018293

ISBN - alternate spelling:
0-521-01829-3, 978-0-521-01829-6


< to archive...
Related books