Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Program development by specification and transformation | Berthold Hoffmann | "This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developin… | OL19897115W |