Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Autor Eric Verhulst et al.
oct 2014
Paperback
Preț: 496.45 lei 612.90 lei
38-45 zile
-19%
Cărți de Raymond T. Boute
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Editat de C. Neville Dean et al.
17 noi 2004
Paperback
Preț: 321.33 lei 401.67 lei
6-8 săpt.
-20%