Verified Software: Theories, Tools, Experiments
Editat de Natarajan Shankar et al.
22 sep 2008
Paperback
Preț: 320.93 lei 401.17 lei
43-57 zile
-20%
Cărți de Jim Woodcock
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Editat de Ana Cavalcanti et al.
11 aug 2010
Paperback
Preț: 326.55 lei 408.19 lei
22-36 zile
-20%
Formal Methods: Foundations and Applications
Editat de Marcel Vinícius Medeiros Oliveira et al.
9 noi 2009
Paperback
Preț: 325.44 lei 406.80 lei
43-57 zile
-20%
Verified Software: Theories, Tools, Experiments
Editat de Bertrand Meyer et al.
7 iul 2008
Paperback
Preț: 637.81 lei 797.26 lei
43-57 zile
-20%
Formal Methods and Hybrid Real-Time Systems
Editat de Cliff B. Jones et al.
6 sep 2007
Paperback
Preț: 335.48 lei 419.35 lei
43-57 zile
-20%
Formal Methods and Software Engineering
Editat de Jin Song Dong et al.
27 oct 2003
Paperback
Preț: 644.36 lei 805.45 lei
43-57 zile
-20%
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Editat de Chris George et al.
28 aug 2007
Paperback
Preț: 318.67 lei 398.33 lei
43-57 zile
-20%
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Editat de Ana Cavalcanti et al.
27 sep 2006
Paperback
Preț: 326.24 lei 407.80 lei
43-57 zile
-20%
Theoretical Aspects of Computing -- ICTAC 2013
Editat de Zhiming Liu et al.
15 iul 2013
Paperback
Preț: 330.36 lei 412.95 lei
43-57 zile
-20%
Software Engineering for Robotics
Editat de Ana Cavalcanti et al.
6 iul 2021
Hardback
Preț: 745.90 lei 932.38 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications
Editat de Shengchao Qin et al.
14 noi 2021
Paperback
Preț: 460.96 lei 576.20 lei
22-36 zile | 6-12 zile
-20%
Theories of Programming and Formal Methods
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 328.72 lei 410.89 lei
43-57 zile
-20%
Unifying Theories of Programming and Formal Engineering Methods
Editat de Zhiming Liu et al.
19 iul 2013
Paperback
Preț: 321.94 lei 402.43 lei
43-57 zile
-20%