Related Books
Language: en
Pages: 288
Pages: 288
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2003 - Publisher: Springer Science & Business Media
This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous e
Language: en
Pages: 276
Pages: 276
Type: BOOK - Published: 2011-09-27 - Publisher: Springer
This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin
Language: en
Pages: 241
Pages: 241
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Language: en
Pages: 719
Pages: 719
Type: BOOK - Published: 2014-02-25 - Publisher: CRC Press
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing syste
