|
|

avaa valikko

Jens Palsberg | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Dillig, Isil; Palsberg, Jens
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, Jan
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Palsberg, Jens
Springer
2000
Pehmeäkantinen kirja
Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Palsberg, Jens; Su, Zhendong
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Static Analysis - 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Semantics and Algebraic Specification - Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermanns, Holger; Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Barik, Rajkishore; Gupta, Rajiv; Palsberg, Jens
Springer
2025
Pehmeäkantinen kirja
Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €