Concise Guide to Formal Methods
Subtitle: Theory, Fundamentals and Industry Applications
Publisher: Springer
Published: Aug 24, 2017
Format: paperback
Number of pages: 348
ISBN-13: 9783319640204
Notes: Source title: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)