From Action Systems to Distributed Systems (eBook, PDF)

The Refinement Approach
Redaktion: Petre, Luigia; Sekerinski, Emil

• Format: PDF

Produktbeschreibung

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 312
• Erscheinungstermin: 27. April 2016
• Englisch
• ISBN-13: 9781498701594
• Artikelnr.: 45434903