Related Books

Concise Guide to Software Testing
Language: en
Pages: 309
Authors: Gerard O'Regan
Categories: Computers
Type: BOOK - Published: 2019-09-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and off
Concise Guide to Software Verification
Language: en
Pages: 251
Authors: Marieke Huisman
Categories: Computers
Type: BOOK - Published: 2023-07-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Concise Guide to Software Verification
Language: en
Pages: 0
Authors: Marieke Huisman
Categories:
Type: BOOK - Published: 2023 - Publisher:

DOWNLOAD EBOOK

Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques t
Concise Guide to Software Engineering
Language: en
Pages: 457
Authors: Gerard O'Regan
Categories: Computers
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory
Guide to Software Verification with Frama-C
Language: en
Pages: 708
Authors: Nikolai Kosmatov
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK