Explore Books on
formal specification

1-3 of 3 Books

Cover of SysML for systems engineering by jon holt

SysML for systems engineering

By Jon Holt

Cover of Larch by john guttag,john v. guttag,james j. horning,s. j. garland

Larch

By John Guttag,John V. Guttag,James J. Horning,S. J. Garland

Cover of Prolog by pierre deransart,abdelali ed-dbali,laurent cervoni

Prolog

By Pierre Deransart,AbdelAli Ed-Dbali,Laurent Cervoni