Program Proofs 1
bokomslag Program Proofs
Data & IT

Program Proofs

K Rustan M Leino • Kaleb Leino

Pocket

1049:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 496 sidor
  • 2023
  • Författare: K Rustan M Leino, Kaleb Leino
  • Illustratör: Kaleb Leino
  • Format: Pocket/Paperback
  • ISBN: 9780262546232
  • Språk: Engelska
  • Antal sidor: 496
  • Utgivningsdatum: 2023-03-07
  • Förlag: MIT Press Ltd

Du kanske gillar

  1. bokomslag Schöpferisch träumen: Wie Sie im Schlaf das Leben meistern

    Schöpferisch träumen: Wie Sie im Schl...

    Kaleb Utecht Paul Tholey

    Pocket

    409:-
  2. bokomslag Dynamics of Powers in the European Union

    Dynamics of Powers in the European Union

    Christina Eckes, Päivi Leino-Sandberg, Anna W Ghavanini, Prof Dr C Christina Eckes

    Inbunden

    2329:-
  3. bokomslag A Nighttime Trip to Planet Nuf

    A Nighttime Trip to Planet Nuf

    Crystal Pirri

    Häftad

    289:-
  4. bokomslag Historians Without Borders

    Historians Without Borders

    Lawrence Abrams, Kaleb Knoblauch, Lawrence Abrams, Kaleb Knoblauch

    Pocket

    829:-
  5. bokomslag Notiser från värkligheten

    Notiser från värkligheten

    Risto Leino

    Inbunden

    359:-
  6. bokomslag The Ultimate Anal & Oral Sex Horoscope Guide: Sex Under The Stars

    The Ultimate Anal & Oral Sex Horoscop...

    Kaleb Sutra Kaleb Cove

    Häftad

    389:-
  7. bokomslag The Day Kyle Met NUF

    The Day Kyle Met NUF

    Häftad

    259:-
  8. bokomslag Cookbooks for Fans: Dallas Football Outdoor Cooking and Tailgating Recipes: Cookbooks for Cowboy FANS - Barbecuing & Grilling Meat & Game

    Cookbooks for Fans: Dallas Football O...

    Coach Kaleb Nathan Isaac

    Häftad

    379:-
  9. bokomslag Plågoanden

    Plågoanden

    Sofia Rustan

    Inbunden

    289:-
  10. bokomslag Vengeance

    Vengeance

    K A Zaine

    Häftad

    319:-

Andra av samma författare

  1. bokomslag Computer Aided Verification

    Computer Aided Verification

    K Rustan M Leino Alexandra Silva

    Pocket

    599:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    K Rustan M Leino Alexandra Silva

    Pocket

    599:-
  3. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    K Rustan M Leino Parosh Aziz Abdulla

    Pocket

    749:-
  4. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    K Rustan M Leino Barbara Jobstmann

    Pocket

    749:-