Jens Palsberg: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (14)
Meistgefragt
Liste
- Liste
- Tabelle

1

Modern Compiler Implementation in Java

Modern Compiler Implementation in Java

Cambridge University Press

Andrew W. Appel, Jens Palsberg

Jahr:

2002

Sprache:

english

Datei:

CHM, 8.02 MB

5.0 / 5.0

english, 2002

2

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

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

Springer International Publishing

Isil Dillig, Jens Palsberg (eds.)

Jahr:

2018

Sprache:

english

Datei:

PDF, 8.31 MB

0 / 0

english, 2018

3

Object-Oriented Type Systems

Object-Oriented Type Systems

Jens Palsberg, Michael I. Schwartzbach

Jahr:

1994

Sprache:

english

Datei:

DJVU, 1.11 MB

0 / 0

english, 1994

4

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

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

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 6.26 MB

0 / 0

english, 2009

5

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

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

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 11.26 MB

0 / 0

english, 2008

6

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

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

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.10 MB

0 / 0

english, 2009

7

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

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

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 3.76 MB

0 / 0

english, 2000

8

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

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

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.85 MB

0 / 0

english, 2009

9

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

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

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 7.54 MB

0 / 0

english, 2008

10

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

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

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 5.64 MB

0 / 5.0

english, 2009

11

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. Proceed

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. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 5.35 MB

0 / 0

english, 2006

12

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

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

Springer-Verlag Berlin Heidelberg

Jens Palsberg (auth.), Jens Palsberg (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 5.06 MB

0 / 0

english, 2009

13

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

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

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Jens Palsberg (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 4.19 MB

0 / 0

english, 2000

14

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

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

Springer-Verlag Berlin Heidelberg

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.14 MB

0 / 0

english, 2009