Modern Compiler Implementation in Java
Autor Andrew W. Appel et al.
20 oct 2002
Hardback
Preț: 454.88 lei 568.61 lei
3-5 săpt. | 4-10 zile
-20%
Cărți de Jens Palsberg
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
Editat de Jens Palsberg et al.
20 iul 2009
Paperback
Preț: 337.85 lei 422.31 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Editat de Isil Dillig et al.
10 ian 2018
Paperback
Preț: 345.44 lei 431.80 lei
6-8 săpt.
-20%
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Editat de Jens Palsberg
28 aug 2009
Paperback
Preț: 339.66 lei 424.58 lei
6-8 săpt.
-20%
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Editat de Klaus Havelund et al.
25 iul 2008
Paperback
Preț: 337.00 lei 421.25 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Editat de Holger Hermanns et al.
15 mar 2006
Paperback
Preț: 343.77 lei 429.71 lei
6-8 săpt.
-20%
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Editat de Jens Palsberg
14 iun 2000
Paperback
Preț: 355.99 lei 444.99 lei
6-8 săpt.
-20%