Program verification. Nissim Francez |
0/5

0 recensie
Titel
Program verification
Nissim Francez
ISBN
0-201-41608-5
Taal
Engels
Land
Various places
Collatie
XI, 312 pages : co. ; 24 cm
Annotatie
Includes bibliographical references and index.; A
Type inhoud
tekst
Type drager
volume
Behoort tot
International computer science series ; *35
ISBD
Bekijk de ISBD weergave
Program verification / Nissim Francez. - XI, 312 pages : co. ; 24 cm. - Includes bibliographical references and index.; A. - ISBN 0-201-41608-5.


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

Een document aanvragen

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