Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
Autor principal: | O'Regan, Gerard. (Autor) |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Undergraduate Topics in Computer Science,
|
Materias: |
Ejemplares similares
-
Introduction to Mathematica® with Applications /
por: Mureşan, Marian.
Publicado: (2017) -
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado: (2017) -
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado: (2017) -
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado: (2017) -
The Incomputable : Journeys Beyond the Turing Barrier /
Publicado: (2017)