Related Books

Formal Methods for Software Engineering
Language: en
Pages: 538
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Formal Methods for Software Engineering
Language: en
Pages: 0
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2023-06-24 - Publisher: Springer

DOWNLOAD EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Modern Formal Methods and Applications
Language: en
Pages: 217
Authors: Hossam A. Gabbar
Categories: Science
Type: BOOK - Published: 2006-06-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to
Formal Methods in Computer Science
Language: en
Pages: 279
Authors: Jiacun Wang
Categories: Computers
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press

DOWNLOAD EBOOK

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Understanding Formal Methods
Language: en
Pages: 288
Authors: Jean-Francois Monin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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