Formal Methods: State of the Art and New Directions /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Londres, Inglaterra :
Springer,
2010, c2010
|
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Formal Methods: State of the Art and New Directions /
- Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers /
- Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
- New Directions in Cognitive Information Retrieval /
- New Directions in Psychology /
- Direct Methods for Sparse Matrices /
- New Trends in Formal Languages : Control, Cooperation, and Combinatorics /