Concise Guide to Software Verification

Name: Concise Guide to Software Verification
Author: Marieke Huisman

260

Pagini

2024

Paperback

Copertă

Actualizat 4 zile în urmă

334.67

Lei

Editura Springer International Publishing

Copertă Paperback

Pagini 260

An publicare 2024

ISBN 9783031301698

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Formal Methods for Industrial Critical Systems

Tools and Algorithms for the Construction and Analysis of Systems

Cel mai bun preț

334.67 Lei