Capa do artigo Concise Guide To Software Verification

Concise Guide To Software Verification

From Model Checking To Annotation Checking

by Anton Wijs e Marieke Huisman
language: english
Publisher: Springer International Publishing AG, July of 2024 ‧
74,34€
52,04€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Concise Guide To Software Verification

From Model Checking To Annotation Checking

by Anton Wijs e Marieke Huisman

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

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

ANTON WIJS

SEE MORE TITLES BY THIS AUTHOR

MARIEKE HUISMAN

SEE MORE TITLES BY THIS AUTHOR