Formal Methods An Appetizer /

• Κύριοι συγγραφείς: Nielson, Flemming (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Riis Nielson, Hanne (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Θέματα: Computers.; Software engineering.; Theory of Computation.; Software Engineering/Programming and Operating Systems.

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balanc...