Verwandte Artikel zu Concise Guide to Formal Methods: Theory, Fundamentals...

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

O'Regan, Gerard

 
9783319640228: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Softcover
ISBN 10: 3319640224 ISBN 13: 9783319640228
Verlag: Springer, 2017

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2017
  • ISBN 10 3319640224
  • ISBN 13 9783319640228
  • EinbandPaperback
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783319640204: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3319640208 ISBN 13:  9783319640204
Verlag: Springer International Publishin..., 2017
Softcover