Formal Specification Techniques for Engineering Modular C Programs

Författare
Yang Meng Tan
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1996 Utgivningsland okänt / Ej specificerat