Synthesis of Embedded Software

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

3/5
Pertama kali diterbitkan
Nov 20, 2014
Penerbit
Springer

Buku

Buku yang serupa