From Action Systems to Distributed Systems
The Refinement Approach
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
CHF 54.15
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Sekerinski, Emil (Hrsg.)
- ISBN: 978-1-4987-0159-4
- EAN: 9781498701594
- Produktnummer: 20263366
- Verlag: Taylor & Francis Ltd.
- Sprache: Englisch
- Erscheinungsjahr: 2016
- Seitenangabe: 312 S.
- Plattform: PDF
- Masse: 21'140 KB
7 weitere Werke von Luigia (Hrsg.) Petre:
Bewertungen
Anmelden