Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13-15, 2001 Revised Papers. [electronic resource]
Autor: | Carbonell, Jaime G. |
---|---|
Další autoři: | |
Jazyk: | angličtina |
Informace o vydání: | Berlin/Heidelberg : Springer Berlin Heidelberg, 2001. |
Předmět: | |
Vydání: | 1st ed. |
Druh dokumentu: | Online; Non-fiction; Electronic document |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |