Тема, жанр, tags: Software,Verification,Number Theory,Logic,System Validation,Systems Modelling,Specification » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software,Verification,Number Theory,Logic,System Validation,Systems Modelling,Specification

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