Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers. [elektronicky zdroj]
| Autor: | Meyer, Bertrand |
|---|---|
| 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: |
|