Hoppa till sidans huvudinnehåll

Jens Palsberg - Böcker

Visar alla böcker från författaren Jens Palsberg.
7 produkter

Principles and Practices of Building Parallel Software

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

AvRajkishore Barik,Rajiv Gupta m. fl.

Häftad, Engelska, 2025

1 459 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

Static Analysis

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

AvJens Palsberg

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvKlaus Havelund,Rupak Majumdar m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar

Static Analysis

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

AvJens Palsberg,Zhendong Su

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar

Semantics and Algebraic Specification

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

AvJens Palsberg

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar