Software Engineering and Formal Methods

504

Pagini

2011

Paperback

Copertă

Actualizat 1 săptămână în urmă

299.45

Lei

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Copertă Paperback

Pagini 504

An publicare 2011

ISBN 9783642246890

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Trustworthy Global Computing

Applied Semantics

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

Verification, Model Checking, and Abstract Interpretation

Foundations of Probabilistic Programming, Hardcover

Cel mai bun preț

299.45 Lei