Jens Palsberg - Böcker

Visar alla böcker från författaren Jens Palsberg.
7 produkter
Rajkishore Barik, Rajiv Gupta, Jens Palsberg - Principles and Practices of Building Parallel Software, Häftad

Häftad, Engelska, 2025

1 519 kr

Skickas inom 10-15 vardagar
Isil Dillig, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation, Häftad

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar
Jens Palsberg - Static Analysis, Häftad
Del 1824 - Lecture Notes in Computer Science

Static Analysis

Av Jens Palsberg

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar
Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar
Jens Palsberg, Zhendong Su - Static Analysis, Häftad

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar
Jens Palsberg - Semantics and Algebraic Specification, Häftad

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar