Scan barcode
—
Flemming Nielson, Hanne Riis Nielson
160 pages • missing pub info (editions)
ISBN/UID: 9783030051556
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 25 July 2019
Description
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 co...
Community Reviews
Content Warnings
—
Flemming Nielson, Hanne Riis Nielson
160 pages • missing pub info (editions)
ISBN/UID: 9783030051556
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 25 July 2019
Description
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 co...