Larch: Languages and Tools for Formal Specification

Författare
John V. Guttag
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1993 Utgivningsland okänt / Ej specificerat