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ț: 339.47 lei 424.34 lei
3-5 săpt.
-20%
Cărți de Jim Woodcock
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Editat de Natarajan Shankar et al.
22 sep 2008
Paperback
Preț: 332.89 lei 416.12 lei
6-8 săpt.
-20%
Software Engineering for Robotics
Editat de Ana Cavalcanti et al.
6 iul 2021
Hardback
Preț: 775.95 lei 969.94 lei
6-8 săpt.
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Editat de Shengchao Qin et al.
14 noi 2021
Paperback
Preț: 505.30 lei 631.63 lei
6-8 săpt.
-20%
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 338.81 lei 423.52 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Editat de Zhiming Liu et al.
15 iul 2013
Paperback
Preț: 340.98 lei 426.22 lei
6-8 săpt.
-20%
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Editat de Zhiming Liu et al.
19 iul 2013
Paperback
Preț: 332.39 lei 415.49 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Editat de Marcel Vinícius Medeiros Oliveira et al.
9 noi 2009
Paperback
Preț: 337.85 lei 422.31 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Editat de Bertrand Meyer et al.
7 iul 2008
Paperback
Preț: 660.81 lei 826.01 lei
6-8 săpt.
-20%
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Editat de Cliff B. Jones et al.
6 sep 2007
Paperback
Preț: 345.44 lei 431.80 lei
6-8 săpt.
-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ț: 331.25 lei 414.07 lei
6-8 săpt.
-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ț: 339.14 lei 423.93 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Editat de Jin Song Dong et al.
27 oct 2003
Paperback
Preț: 665.28 lei 831.60 lei
6-8 săpt.
-20%