Book serie: / Книги серии: Texts in Computer Science » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts in Computer Science

book Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

02.03.2024

0

0

book Ethical and Social Issues in the Information Age

Ethical and Social Issues in the Information Age

pdf

Author: Joseph Migga Kizza
Language: English
Year: 2023

00

01.03.2024

0

0

book Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

epub

Author: Marieke Huisman, Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book An Introduction to Kolmogorov Complexity and Its Applications.pdf

An Introduction to Kolmogorov Complexity and Its Applications.pdf

pdf

Author: Ming Li Paul Vitanyi
Language: English
Year: 1997

00

16.02.2024

0

0

book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

pdf

Author: Gerard O'Regan
Language: English
Year: 2023

00

16.02.2024

0

0

book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

pdf

Author: Gerard O'Regan
Language: English
Year: 2023

00

16.02.2024

0

0

book Ethical And Social Issues In The Information Age

Ethical And Social Issues In The Information Age

pdf

Author: Joseph Migga Kizza
Language: English
Year: 2023

00

15.02.2024

0

0

book Mathematical Foundations of Data Science

Mathematical Foundations of Data Science

pdf

Author: Tomas Hrycej Bernhard Bermeitinger Matthias Cetto Siegfried Handschuh
Language: English
Year: 2023

00

15.02.2024

0

0

book Mathematical Foundations of Data Science

Mathematical Foundations of Data Science

pdf

Author: Tomas Hrycej Bernhard Bermeitinger Matthias Cetto Siegfried Handschuh
Language: English
Year: 2023

00

15.02.2024

0

0