Scan barcode
Formal Specification and Verification in Visi Design (Edinburgh Information Tech
—
Bruce Davie
—
Bruce Davie
195 pages • missing pub info (editions)
ISBN/UID: 9780748601592
Format: Hardcover
Language: English
Publisher: Edinburgh University Press
Publication date: 20 May 1991
nonfiction
computer science
design
medium-paced
Community Reviews
Content Warnings
Formal Specification and Verification in Visi Design (Edinburgh Information Tech
—
Bruce Davie
—
Bruce Davie
195 pages • missing pub info (editions)
ISBN/UID: 9780748601592
Format: Hardcover
Language: English
Publisher: Edinburgh University Press
Publication date: 20 May 1991
nonfiction
computer science
design
medium-paced
Community Reviews
Content Warnings