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: |
|