Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

Författare
Teruo Higashino
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1997 Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan