Compositionality, concurrency, and partial correctness :
by Zwiers, J,
Series: Lecture notes in computer science ; . 321 Published by : Springer-Verlag, (Berlin :) ISBN: 0387508457; 3540508457. Subject(s): Automatic theorem proving | Computer programs --Verification | Computer programs --Specifications | Parallel programming (Computer science) | Parallel processing (Electronic computers) Year: 1989Online resources:
| Item type | Location | Call number | Copy | Status | Date due |
|---|---|---|---|---|---|
 Livro |
IST - Biblioteca de Elect.Comp. e Inf. IST-Bib Electricidade | QA76.5.ZWI.95107 (Browse shelf) | 1 | Available |
Includes bibliography
Click on an image to view it in the image viewer
