Articles liés à Concise Guide to Formal Methods: Theory, Fundamentals...
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
