Cărți de Raymond T. Boute

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Autor Eric Verhulst et al.

oct 2014

Preț: 548^.77 lei 677^.50 lei

38-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

Preț: 330^.75 lei 413^.44 lei

43-57 zile

-20%