VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Editat de Dines Bjørner et al.
11 mar 1987
Paperback
Preț: 326.42 lei 408.02 lei
6-8 săpt.
-20%
Cărți de Cliff Jones
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Autor Denis Besnard et al.
27 dec 2005
Paperback
Preț: 621.26 lei 776.57 lei
6-8 săpt.
-20%
Rigorous Development of Complex Fault-Tolerant Systems
Editat de Michael Butler et al.
27 noi 2006
Paperback
Preț: 329.97 lei 412.46 lei
6-8 săpt.
-20%
Water Runs Slow Through Flat Land
Autor Cliff Jones
Paperback
Preț: 75.15 lei
3-5 săpt.
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Editat de Cliff Jones et al.
9 apr 2014
Paperback
Preț: 642.89 lei 803.61 lei
6-8 săpt.
-20%
Mirrormaze
Editat de Cliff Jones
8 dec 2020
Paperback
Preț: 98.82 lei
3-5 săpt.
Norvis
Autor Cliff Jones
Paperback
Preț: 199.77 lei
6-8 săpt.
The Living History Anthology: Perspectives from ALHFAM
Editat de Martha B. Katz-Hyman et al.
7 ian 2019
Paperback
Preț: 358.80 lei
6-8 săpt.