Related Books
Language: en
Pages: 336
Pages: 336
Type: BOOK - Published: 2017-08-08 - Publisher: Springer
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac
Language: en
Pages: 457
Pages: 457
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature
This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory
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: 251
Pages: 251
Type: BOOK - Published: 2023-07-24 - Publisher: Springer Nature
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in pra
Language: en
Pages: 309
Pages: 309
Type: BOOK - Published: 2019-09-30 - Publisher: Springer Nature
This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off
