Program construction: calculating implementations from specifications
Type
Book
Rate
0.0 /5
Title Statements
- Full title :Program construction : calculating implementations from specifications / Roland C. Backhouse.
Edition Statements
- Publication Date:©2003.
Publication Statements
- Publisher(s):Wiley
- Place of Publication:Chichester
- Language:eng
- Publication Date:©2003.
The Physical Object
- Description:XII, 340 p. ; : 23 cm
Edition Identifiers
- ISBN:0470848820, 9780470848821
- oclc:ocn803238507
Subjects
Writers
No reviews yet. Be the first to rate this work.
Related Works
more →
Handbook of automated reasoning
0.0
Type: Book
Temporal logic: mathematical foundations and computatio…
0.0
Type: Book
Computers and intractability: a guide to the theory of NP-Completeness
Garey, Michael R.
0.0
Type: Book
Algorithms and complexity: recent results and new directions : [pr…
Symposium on New Directions and Recent Results in Algorithms and Complexity, Carnegie-Mellon University)
0.0
Type: Book
The Elements of computing systems: building a modern computer from first p…
Nisan, Noam
0.0
Type: Book
Files & Downloads
-
Program Construction: Calculating Implementations…
RAR · 19.2 MB · updated -
Program Construction: Calculating Implementations…
PDF · 19.8 MB · updated -
Program construction : calculating implementation…
DJVU · 4.1 MB · updated
Rate & Review