VDM '87. VDM - A Formal Method at Work
Editat de Dines Bjørner et al.
11 mar 1987
Paperback
Preț: 342.29 lei 427.86 lei
6-8 săpt.
-20%
Cărți de Cliff Jones
Rigorous Development of Complex Fault-Tolerant Systems
Editat de Michael Butler et al.
27 noi 2006
Paperback
Preț: 330.98 lei 413.73 lei
6-8 săpt.
-20%
Symposium on Real-Time and Hybrid Systems
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 333.74 lei 417.18 lei
6-8 săpt.
-20%
FM 2014: Formal Methods
Editat de Cliff Jones et al.
9 apr 2014
Paperback
Preț: 673.90 lei 842.38 lei
6-8 săpt.
-20%