30% OFF

Concise Guide To Software Verification

From Model Checking To Annotation Checking

by Anton Wijs e Marieke Huisman
Book eBook
language: english
Publisher: Springer International Publishing AG, July of 2023 ‧
101,38€
70,97€
30% OFF
free shipping
Sell ​​your book

Concise Guide To Software Verification

From Model Checking To Annotation Checking

by Anton Wijs e Marieke Huisman

Property Description
ISBN: 9783031301667
Publisher: Springer International Publishing AG
Release Date: July of 2023
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 248
Format: Book
Collection: Texts In Computer Science
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031301667

BOOKS FROM THE SAME COLLECTION