Normal view MARC view ISBD view

SOFTWARE VERIFICATION AND ANALYSIS

LASKI JANUSZ

SOFTWARE VERIFICATION AND ANALYSIS - 1 PRIMERA EDIC. - MEXICO D.F. - 224 PAG.

INCLUYE INDICE

ISBN: 9781848822399

Subjects--Topical Terms:
1.- WHY NOT WRITE CORRET SOFWARET THE FIST TIME2.- HOW TO PROVE A PROGRAM CORRECT PROGRAMS WITHOUT LOOPS3.- PROGRAM DEPENDENCIESÌ

LC Class. No.: QA76 L3353s

Place hold
Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX MARC (Unicode/UTF-8, Standard) MARCXML
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)