• Home /
  • From Action Systems to Distributed Systems (eBook)

From Action Systems to Distributed Systems (eBook)

The Refinement Approach
Artikelnummer: 978-1-4987-0159-4
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 85.75
decrease increase

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

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

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagTaylor & Francis Ebooks
EinbandPDF
Erscheinungsjahr2016
Seitenangabe312 S.
AusgabekennzeichenEnglisch
Masse21'140 KB
PlattformPDF
AutorPetre, Luigia (Hrsg.) / Sekerinski, Emil (Hrsg.)

Weitere Titel von Luigia (Hrsg.) Petre

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten