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

Principles and Practices of Building Parallel Software

Av Rajkishore Barik, Rajiv Gupta, Jens Palsberg

Häftad, Engelska, 2025

1 519 kr

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

Verification, Model Checking, and Abstract Interpretation

Av Isil Dillig, Jens Palsberg

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

Tools and Algorithms for the Construction and Analysis of Systems

Av Holger Hermanns, Jens Palsberg

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

Model Checking Software

Av Klaus Havelund, Rupak Majumdar, Jens Palsberg

Häftad, Engelska, 2008

729 kr

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

Static Analysis

Av Jens Palsberg, Zhendong Su

Häftad, Engelska, 2009

729 kr

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

Semantics and Algebraic Specification

Av Jens Palsberg

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar