. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
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: 34.16 EUR, größter Preis: 82.24 EUR, Mittelwert: 52.87 EUR
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Wim H. Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wim H. Hesselink:

Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

ISBN: 0521018293

[SR: 7962242], Paperback, [EAN: 9780521018296], Cambridge University Press, Cambridge University Press, Book, [PU: Cambridge University Press], Cambridge University Press, Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the 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., 3952, Languages & Tools, 3953, Ada, 379359011, Ajax, 3954, Assembly Language Programming, 3955, Borland Delphi, 3956, C & C++, 697342, C#, 3970, Compiler Design, 3971, Compilers, 379357011, CSS, 3974, Debugging, 285855, Delphi, 379358011, DHTML, 3977, Fortran, 3608, Java, 3981, Lisp, 6134005011, Perl, 3987, Prolog, 285856, Python, 3990, RPG, 6134006011, Ruby, 3996, Visual Basic, 3962, Visual C++, 285859, XHTML, 4052, XML, 285858, XSL, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4016, Software Development, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 21, Education & Reference, 11444, Almanacs & Yearbooks, 11448, Atlases & Maps, 2572, Careers, 11626, Catalogs & Directories, 69820, College & University, 11472, Consumer Guides, 11475, Dictionaries & Thesauruses, 11713, Encyclopedias, 11823, English as a Second Language, 11761, Etiquette, 11773, Foreign Language Study & Reference, 11880, Genealogy, 5267709011, Graduate School, 11902, Quotations, 5267708011, Schools & Teaching, 5267723011, Studying & Workbooks, 5267710011, Test Preparation, 11871, Trivia & Fun Facts, 11970, Words, Language & Grammar, 5267707011, Writing, Research & Publishing Guides, 1000, Subjects, 283155, Books

Neues Buch Amazon.com
Deastore
Neuware Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Band 27) - Wim H. Hesselink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wim H. Hesselink:
Programs Recursion Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Band 27) - Taschenbuch

ISBN: 0521018293

[SR: 2665507], Taschenbuch, [EAN: 9780521018296], Cambridge University Press, Cambridge University Press, Book, [PU: Cambridge University Press], Cambridge University Press, Paperback, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
FastMedia "Versenden von USA"
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.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

Paperback, [PU: CAMBRIDGE UNIVERSITY PRESS], A complete account of the predicate transformation calculus semantics of sequential programs., Mathematical Theory Of Computation

Neues Buch Bookdepository.com
Versandkosten:Versandkostenfrei (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 - 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.

< zum Suchergebnis...
Details zum Buch
Programs, Recursion and Unbounded Choice
Autor:

Hesselink, Wim H.; Wim H. , Hesselink

Titel:

Programs, Recursion and Unbounded Choice

ISBN-Nummer:

0521018293

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 29.04.2015 22:05:33
ISBN/EAN: 0521018293

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher