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
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Illustrationen
80 s/w Abbildungen, 10 s/w Tabellen
80 b/w images and 10 tables
Dateigröße
ISBN-13
978-1-4987-0159-4 (9781498701594)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Modeling. Analysis. Proof. Refinement. Applications.
