Cărți de Jens Palsberg

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ț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Modern Compiler Implementation in Java

Autor Andrew W. Appel et al.

20 oct 2002

Preț: 513^.30 lei 641^.62 lei

6-8 săpt.

-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ț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Static Analysis

Editat de Jens Palsberg

14 iun 2000

Preț: 329^.56 lei 411^.95 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

Lecture Notes in Computer Science, nr. 3920

Editat de Holger Hermanns et al.

15 mar 2006

Preț: 330^.68 lei 413^.35 lei

6-8 săpt.

-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ț: 326^.72 lei 408^.40 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

Lecture Notes in Computer Science, nr. 10747

Editat de Isil Dillig et al.

10 ian 2018

Preț: 332^.29 lei 415^.36 lei

6-8 săpt.

-20%

Principles and Practices of Building Parallel Software

Lecture Notes in Computer Science

Editat de Rajkishore Barik et al.

28 iun 2025

Preț: 570^.35 lei 712^.94 lei

38-44 zile

-20%