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

Av Rajkishore 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

Av Isil Dillig, Jens Palsberg

Häftad, Engelska, 2018

729 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

Av Holger Hermanns, Jens Palsberg

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Jens Palsberg

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

Av Klaus Havelund, Rupak Majumdar m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Jens Palsberg, Zhendong Su

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Semantics and Algebraic Specification

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

Av Jens Palsberg

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar