Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

69.97 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Beschreibung

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 Statistics

Industrial Tools for Formal Methods

Technology Transfer to Industry

Epilogue

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.