Take a photo of a barcode or cover
Read With Others
Book Information
630 pages • paperback • 1 edition
ISBN/UID: 9783540567332
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Aug 1993
Description
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 developing correct software and a comprehensive support sy...
Community Reviews
Content Warnings
630 pages • paperback
ISBN/UID: 9783540567332
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Aug 1993
Description
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 developing correct software and a comprehensive support sy...
Community Reviews
Content Warnings