Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. [elektronicky zdroj]
Autor: | Cook, Byron |
---|---|
Další autoři: | |
Jazyk: | angličtina |
Informace o vydání: | Berlin, Heidelberg : Springer Berlin / Heidelberg, 2007. |
Předmět: | |
Druh dokumentu: | Online; Non-fiction; Electronic document |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |