Related Books
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
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: 0
Pages: 0
Type: BOOK - Published: 2023 - Publisher:
Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques t
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: 708
Pages: 708
Type: BOOK - Published: - Publisher: Springer Nature