Jens Palsberg – författare
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, 2025
1449 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Häftad, 2018
729 kr
Lägg i varukorg
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, 2006
729 kr
Lägg i varukorg
Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Häftad, 2000
729 kr
Lägg i varukorg
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, 2008
729 kr
Lägg i varukorg
Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
Häftad, 2009
729 kr
Lägg i varukorg
Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Häftad, 2009
729 kr
Lägg i varukorg