Formal specification level : concepts, methods, and algorithms. [electronic resource]
Autor: | Soeken, Mathias, author |
---|---|
Další autoři: |
Drechsler, Rolf, author
|
Jazyk: | angličtina |
Informace o vydání: | Cham, Germany : Springer, 2015. |
Předmět: | |
Druh dokumentu: | Bibliographies; Online; Non-fiction; Electronic document |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |