From Action Systems to Distributed Systems (PDF)
The Refinement Approach
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 61.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „From Action Systems to Distributed Systems (PDF)“
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
Bibliographische Angaben
- 2016, 312 Seiten, Englisch
- Herausgegeben: Luigia Petre, Emil Sekerinski
- Verlag: Taylor & Francis
- ISBN-10: 1498701590
- ISBN-13: 9781498701594
- Erscheinungsdatum: 27.04.2016
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 20 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "From Action Systems to Distributed Systems"
0 Gebrauchte Artikel zu „From Action Systems to Distributed Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "From Action Systems to Distributed Systems".
Kommentar verfassen