Static Analysis
Editat de Jens Palsberg et al.
20 iul 2009
Paperback
Preț: 325.83 lei 407.29 lei
6-8 săpt.
-20%
Cărți de Jens Palsberg
Modern Compiler Implementation in Java
Autor Andrew W. Appel et al.
20 oct 2002
Hardback
Preț: 512.90 lei 641.12 lei
6-8 săpt.
-20%
Principles and Practices of Building Parallel Software
Editat de Rajkishore Barik et al.
28 iun 2025
Paperback
Preț: 631.71 lei 789.64 lei
38-44 zile
-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.19 lei 405.23 lei
6-8 săpt.
-20%
Static Analysis
Editat de Jens Palsberg
14 iun 2000
Paperback
Preț: 330.58 lei 413.22 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.68 lei 413.35 lei
6-8 săpt.
-20%
Semantics and Algebraic Specification
Editat de Jens Palsberg
28 aug 2009
Paperback
Preț: 328.29 lei 410.37 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Isil Dillig et al.
10 ian 2018
Paperback
Preț: 335.48 lei 419.35 lei
6-8 săpt.
-20%