Verification of sequential and concurrent programs | Apt, Krzysztof R (1949-). Auteur
0/5

0 recensie
Titel
Verification of sequential and concurrent programs
Krzysztof R. Apt ; Ernst-Rüdiger Olderog
Auteur(s)
Apt, Krzysztof R (1949-). Auteur
Auteur(s)
Olderog, Ernst-Rüdiger. Auteur
ISBN
3-540-97532-2 : 83.00 DEM
Bibliografisch adres
New York ; Berlin ; Hong Kong : Springer-Verlag, 1991
Taal
Engels
Land
Various places
Collatie
XVI, 441 pages ; 24 cm
Annotatie
Includes bibliographical references and indexes.; A
Type inhoud
tekst
Type drager
volume
Behoort tot
Texts and monographs in computer science ; *13
Onderwerp(en)
Computer software - Verification.
Computersoftware -- Verificatie  
ISBD
Bekijk de ISBD weergave
Verification of sequential and concurrent programs / Krzysztof R. Apt ; Ernst-Rüdiger Olderog. - New York ; Berlin ; Hong Kong : Springer-Verlag, 1991. - XVI, 441 pages ; 24 cm. - Includes bibliographical references and indexes.; A. - ISBN 3-540-97532-2 : 83.00 DEM.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...