Program Proofs

Häftad, Engelska, 2023

Av K. Rustan M. Leino, Kaleb Leino

1 009 kr

Skickas måndag 10/11

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2023-03-07
Mått178 x 229 x 26 mm
Vikt778 g
FormatHäftad
SpråkEngelska
Antal sidor496
FörlagMIT Press Ltd
IllustratörLeino, Kaleb
ISBN9780262546232

Tillhör följande kategorier

Programmeringsböcker inom Data och it

Mer från samma författare

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Tools and Algorithms for the Construction and Analysis of Systems

Parosh Aziz Abdulla, K. Rustan M. Leino

729 kr

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

729 kr

Program Proofs

Produktinformation

Tillhör följande kategorier

Mer från samma författare

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Verification, Model Checking, and Abstract Interpretation

Du kanske också är intresserad av

Jul med guldkant

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Computer Aided Verification

Hitster - Christmas

Kafé Pumpkin Spice

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Den yttersta hemligheten

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Tjänster

Tjänster

Erbjudanden

Erbjudanden

Inspiration

Inspiration