Leveraging Applications of Formal Methods, Verification, and Validation

Ești offline
Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Bernhard Steffen, Tiziana Margaria

708

Pagini

2010

An

Paperback

Copertă

Adaugă în bibliotecă
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Copertă Paperback
Pagini 708
An publicare 2010
ISBN 9783642165573

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Literaz

Literaz e mai bun în aplicație

Scanează cărți cu camera, compară prețuri
și organizează-ți raftul digital.

Deschide în aplicație