Jens Palsberg – författare

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

7 produkter

Kategorier

7 produkter

Del 14564
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 479 kr
Skickas inom 10-15 vardagar
Del 10747
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
739 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
739 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
739 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 Majumdarm. fl.
Häftad, Engelska, 2008
739 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
739 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
739 kr
Skickas inom 10-15 vardagar