Hoppa till sidans huvudinnehåll

Program Proofs

Häftad, Engelska, 2023

Av K. Rustan M. Leino, Kaleb Leino

1 009 kr

Tillfälligt slut

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

Hoppa över listan

Mer från samma författare

Computer Aided Verification

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Computer Aided Verification

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Tools and Algorithms for the Construction and Analysis of Systems

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

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

729 kr

Hoppa över listan

Du kanske också är intresserad av

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Parosh Aziz Abdulla, K. Rustan M. Leino

729 kr

Computer Aided Verification

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

729 kr

Computer Aided Verification

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

589 kr

Med öppen hand : visdomar att vila i

Med öppen hand : visdomar att vila i

Björn Natthiko Lindeblad, Caroline Bankler

349 kr

Akvarellfärg Aquafine Travel Set

Akvarellfärg Aquafine Travel Set

Daler-Rowney

199 kr379 kr

Hembiträdet
  • Nyhet
Del 1

Hembiträdet

Freida McFadden

79 kr125 kr

Mordgåta - Den sista fjällvandringen

Mordgåta - Den sista fjällvandringen

Hidden Reality

329 kr

Mamma : berätta om ditt liv

Mamma : berätta om ditt liv

 

199 kr

Hitster - Christmas Expansion Pack

Hitster - Christmas Expansion Pack

Jumbo

219 kr259 kr