Synthesis of Embedded Software

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

3/5
Бірінші жарияланған
Nov 20, 2014
Баспагерлер
Springer

Кітаптар

Ұқсас кітаптар