Artículos relacionados a Concise Guide to Formal Methods: Theory, Fundamentals...
Sinopsis
Software Engineering
Software Reliability and Dependability
Overview of Formal Methods
Sets, Relations and Functions
A Short History of Logic
Propositional and Predicate Logic
Advanced Topics in Logic
Z Formal Specification Language
Vienna Development Method
Irish School of VDM
Unified Modelling Language
Dijkstra, Hoare and Parnas
Automata Theory
Model Checking
The Nature of Theorem Proving
Probability and StatisticsIndustrial Tools for Formal Methods
Technology Transfer to Industry
Epilogue
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2017
- ISBN 10 3319640224
- ISBN 13 9783319640228
- EncuadernaciónPaperback
- IdiomaInglés
- Contacto del fabricanteno disponible
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
