Modeling in Event-B

Autori

• Jean-Raymond Abrial

Parametri

Pagine

614pagine

Tempo di lettura

22ore

• Computer, IT, programmazione

Maggiori informazioni sul libro

This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.

Per saperne di più

Lingua: Inglese

Pubblicato: 2010

(Copertina rigida)