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. | 7-13 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ț: 325.13 lei 406.41 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ț: 332.44 lei 415.55 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ț: 326.89 lei 408.61 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ț: 324.32 lei 405.41 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ț: 330.84 lei 413.55 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ț: 342.59 lei 428.24 lei
6-8 săpt.
-20%