Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Meine Bibliothek | Hilfe | Erweiterte Buchsuche | Webprotokoll | Anmelden

Books

A method of programming

Frontcover
1 Rezension
Addison-Wesley, 1988 - 188 Seiten

Im Buch

 

17 Seiten stimmen mit dem Suchbegriff "assertion" in diesem Buch überein.

Wo ist der Rest dieses Buches?

Was andere dazu sagen - Rezension schreiben

Review: A Method of Programming

Nutzerbericht  - Max Lybbert - Goodreads

The book is meant as the text for an introductory programming course. As a relatively experienced programmer, I found the book full of great material that I can put to practical use. It does take some ... Vollständige Rezension lesen

Ähnliche Bücher

Programming Pearls
Programming Pearls
Bentley
Keine Leseprobe verfügbar - 1998
Art of Computer Programming, Volume 4, Fascicle 4,The: Generating All Trees ...
Art of Computer Programming, Volume 4, Fascicle 4,The: Generating All Trees ...
Donald E. Knuth
Eingeschränkte Leseprobe - 2006
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
Edsger Wybe Dijkstra
Auszug - 1982
Alle ähnlichen Bücher »

Inhalt

A method of programming
3
Mechanisms and their states
9
Programs and their construction
18
Urheberrecht

12 weitere Abschnitte werden nicht angezeigt.

Häufige Begriffe und Wortgruppen

Algol 60 algorithm alternative statement array of int AS(k ascending assertion assignment statement black nodes Boolean expression Boolean function brackets branches of node calculation cistern clr(i clr(X d2 S N decrementing defined definition denote digit directly reachable disjunction domain elements end point euclid euclidplus example execution EXERCISE existential quantification false formal from(j functional specification given graph grey nodes guarded command holds increment initial inner block int N g integer expression introduced intterm invariant invercount lexicographic ordering Linear Search mathematical induction maximal length means natural number number of iterations outgoing branch permissible expression postcondition postulate precondition predicate program that determines program to compute Remark repetitive statement rules satisfies sequence X(i shortest path skip starting point statement list Substitution rule syntax to(j true universal quantification upsequence validity variables Write a program

Bibliografische Informationen

QR code for A method of programming
TitelA method of programming
Band 17536 von Addison-Wesley series in computer science
AutorenEdsger Wybe Dijkstra, W. H. J. Feijen
Übersetzt vonW. H. J. Feijen
Mitwirkende PersonenW. H. J. Feijen
Ausgabeillustriert, Neuauflage
VerlagAddison-Wesley, 1988
ISBN0201175363, 9780201175363
Länge188 Seiten
  
Zitat exportierenBiBTeX EndNote RefMan