Articoli correlati a Concise Guide to Formal Methods: Theory, Fundamentals...

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

O'Regan, Gerard

 
9783319640228: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Brossura
ISBN 10: 3319640224 ISBN 13: 9783319640228
Casa editrice: Springer, 2017

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2017
  • ISBN 10 3319640224
  • ISBN 13 9783319640228
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319640208 ISBN 13:  9783319640204
Casa editrice: Springer Nature, 2017
Brossura