Theoretical Aspects of Computing - ICTAC 2025
Editat de Zhiming Liu et al.
23 noi 2025
Paperback
Preț: 469.34 lei 586.68 lei
6-8 săpt.
-20%
Cărți de Zhiming Liu
Engineering Trustworthy Software Systems
Editat de Jonathan P. Bowen et al.
5 apr 2025
Paperback
Preț: 323.04 lei 403.81 lei
38-44 zile
-20%
Engineering Trustworthy Software Systems
Editat de Jonathan P. Bowen et al.
13 noi 2018
Paperback
Preț: 319.10 lei 398.88 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems
Editat de Zhiming Liu et al.
mar 2016
Paperback
Preț: 324.22 lei 405.27 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 324.22 lei 405.27 lei
6-8 săpt.
-20%
Formal Aspects of Component Software
Editat de José Luiz Fiadeiro et al.
30 iul 2014
Paperback
Preț: 327.07 lei 408.84 lei
6-8 săpt.
-20%
Theories of Programming and Formal Methods
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 328.72 lei 410.89 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Theoretical Aspects of Computing -- ICTAC 2013
Editat de Zhiming Liu et al.
15 iul 2013
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Editat de Zhiming Liu et al.
6 iul 2012
Paperback
Preț: 409.92 lei 512.40 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis
Editat de Zhiming Liu et al.
29 sep 2009
Paperback
Preț: 328.72 lei 410.89 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2007
Editat de Cliff B. Jones et al.
12 sep 2007
Paperback
Preț: 332.39 lei 415.48 lei
6-8 săpt.
-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
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ț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Editat de Zhiming Liu et al.
noi 2006
Hardback
Preț: 1060.85 lei 1326.06 lei
Se retipărește
-20%
Formal Methods and Software Engineering
Editat de Zhiming Liu et al.
24 oct 2006
Paperback
Preț: 649.29 lei 811.62 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2004
Editat de Zhiming Liu et al.
8 mar 2005
Paperback
Preț: 638.43 lei 798.03 lei
6-8 săpt.
-20%