Synthesis of Embedded Software

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

3/5
Ilkinji çap edildi
Nov 20, 2014
Neşirýatçylar
Springer

Kitaplar

Şuňa meňzeş kitaplar