Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method

Författare
Eduard Cerny
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1998 Utgivningsland okänt / Ej specificerat