Vista normal Vista MARC Vista ISBD

Dillon, Laura K. [and other]

Formal methods in software practice

Subjects--Topical Terms:
SOFTWARE

Universal Decimal Class. No.: H004.41 SOF