Normal view MARC view ISBD view

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: 1989
    average rating: 0.0 (0 votes)
Item type Location Call number Copy Status Date due
Livro 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


© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: