This edition doesn't have a description yet. Can you add one?
Subjects
| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
First Sentence
"The use of pre- and post-conditions as the basis for program specification methodologies is well-known, see [1], [2], [5], [6], [7], and others."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
Wikipedia citation
Copy and paste this code into your Wikipedia page.
{{cite book|author=Paul Franchi-Zannettacci |date=April 11, 1986 |title=Caap'86 |publisher=Springer |isbn=978-3-540-16443-2 |lccn=86003929 |ol=12772250M}}