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 39-44 zile -19%
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings Lecture Notes in Computer Science, nr. 3294 Editat de C. Neville Dean et al. 17 noi 2004 Paperback Preț: 325.21 lei 406.51 lei 6-8 săpt. -20%