Cărți de Jens Palsberg

Modern Compiler Implementation in Java

Autor Andrew W. Appel et al.

20 oct 2002

Preț: 454^.88 lei 568^.61 lei

22-36 zile | 5-11 zile

-20%

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5673

Editat de Jens Palsberg et al.

20 iul 2009

Preț: 331^.04 lei 413^.81 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10747

Editat de Isil Dillig et al.

10 ian 2018

Preț: 338^.49 lei 423^.11 lei

43-57 zile

-20%

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 5700

Editat de Jens Palsberg

28 aug 2009

Preț: 332^.83 lei 416^.04 lei

43-57 zile

-20%

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5156

Editat de Klaus Havelund et al.

25 iul 2008

Preț: 330^.23 lei 412^.78 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 3920

Editat de Holger Hermanns et al.

15 mar 2006

Preț: 336^.85 lei 421^.06 lei

43-57 zile

-20%

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Lecture Notes in Computer Science, nr. 1824

Editat de Jens Palsberg

14 iun 2000

Preț: 348^.82 lei 436^.02 lei

43-57 zile

-20%