Тема, жанр, tags: Program Verification » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Program Verification

book Program Proofs

epub

Author: K. Rustan M. Leino
Language: English
Year: 2023

00

15.02.2024

0

0

book Software Testing: Concepts and Operations

Software Testing: Concepts and Operations

pdf

Author: Ali Mili Fairouz Tchier
Language: English
Year: 2015

00

30.01.2024

0

0

book The Little Prover

The Little Prover

pdf

Author: Daniel P. Friedman Carl Eastlund
Language: English
Year: 2015

00

27.01.2024

0

0