Hoppa till sidans huvudinnehåll

Jens Palsberg – författare

Visar alla böcker från författaren .
7 produkter
Rajkishore Barik, Rajiv Gupta, Jens Palsberg - Principles and Practices of Building Parallel Software, Häftad
Del 14564 - Lecture Notes in Computer Science

Principles and Practices of Building Parallel Software

Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

AvRajkishore Barik,Rajiv Guptam. fl.

Häftad, Engelska, 2025

1 439 kr

Skickas inom 10-15 vardagar

Isil Dillig, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 10747 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

AvIsil Dillig,Jens Palsberg

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

AvHolger Hermanns,Jens Palsberg

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Jens Palsberg - Static Analysis, Häftad

Static Analysis

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

AvJens Palsberg

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad

Model Checking Software

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

AvKlaus Havelund,Rupak Majumdarm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Jens Palsberg, Zhendong Su - Static Analysis, Häftad

Static Analysis

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

AvJens Palsberg,Zhendong Su

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Jens Palsberg - Semantics and Algebraic Specification, Häftad

Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

AvJens Palsberg

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar