Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Program Construction: International Summer School (Lecture Notes in Computer Science)
June 16, 1982, Springer
Paperback
in English
- 1 edition
354009251X 9783540092513
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
A more formal treatment of a less simple example
Stationary behaviour of some ternary networks
Finding the correctness proof of a concurrent program
On the interplay between mathematics and programming
A theorem about odd powers of odd integers
In honour of Fibonacci
On the foolishness of "natural language programming"
Program inversion
The Schorr-Waite graph marking algorithm
Eliminating the chaff
Proofs, programs and their development
The axiomatic approach
Current ideas in programming methodology
Basic axiomatic definitions
The multiple assignment statement
Is sometimes ever better than always?
A case study in language design: Euclid
Proof rules for the programming language Euclid
Verification of Euclid programs
Specifications and proofs for abstract data types in concurrent programs
Specification and verification of a network mail system
From specification to implementation
The formal approach
Program development by stepwise transformations
The project CIP
Systematics of transformation rules
Special transformation techniques
A study on transformational semantics
Detailization and lazy evaluation, infinite objects and pointer representation
Examples for change of types and object structures
Development of the Schorr-Waite algorithm
A derivation-oriented proof of the Schorr-Waite marking algorithm
Languages as tools
Interactive program construction
Programing languages for reliable computing systems
Programming methodology and language implications
Towards a wide spectrum language to support program specification and program development
Semantics of nondeterministic and noncontinuous constructs
Notes on type abstraction
Some theoretical aspects of program construction
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 28, 2024 | Edited by laurenbr1 | updated author per cover. amazon and oclc have different authors, so this one makes the most sense |
February 28, 2024 | Edited by laurenbr1 | //covers.openlibrary.org/b/id/14590624-S.jpg |
June 4, 2022 | Edited by ImportBot | import existing book |
December 29, 2021 | Edited by ImportBot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |