Scan barcode
800 pages • first pub 2011 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each ...
Community Reviews
Content Warnings
800 pages • first pub 2011 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each ...
Community Reviews
Content Warnings