Lectures on the Logic of Computer Programming 1
bokomslag Lectures on the Logic of Computer Programming
Data & IT

Lectures on the Logic of Computer Programming

Zohar Manna

Häftad

729:-

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.

  • 53 sidor
  • Författare: Zohar Manna
  • Format: Häftad
  • ISBN: 9780898711646
  • Språk: Engelska
  • Antal sidor: 53
  • Förlag: Society for Industrial and Applied Mathematic

Du kanske gillar

  1. bokomslag Iron Flame (svensk utgåva)

    Iron Flame (svensk utgåva)

    Rebecca Yarros

    Danskband/flex

    279:-
  2. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Pocket

    749:-
  3. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Inbunden

    1479:-
  4. bokomslag Mathematical Theory of Computation

    Mathematical Theory of Computation

    Zohar Manna

    Häftad

    359:-
  5. Ny
    bokomslag Världens bästa Molly och den nya bebisen

    Världens bästa Molly och den nya bebisen

    Sabine Lemire • Signe Kjær

    Inbunden

    169:-
  6. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Pocket

    1619:-
  7. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Inbunden

    1619:-
  8. bokomslag Yellowface (svensk utgåva)

    Yellowface (svensk utgåva)

    R F Kuang

    Pocket

    125:-
  9. bokomslag Mira

    Mira

    Sabine Lemire

    Danskband/flex

    159:-
  10. bokomslag Folkets hjälte

    Folkets hjälte

    Jens Ganman

    Danskband/flex

    329:-

Andra av samma författare

  1. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Inbunden

    1479:-
  2. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Inbunden

    1619:-
  3. bokomslag Mathematical Theory of Computation

    Mathematical Theory of Computation

    Zohar Manna

    Häftad

    359:-
  4. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Pocket

    749:-
  5. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Pocket

    1619:-
  6. bokomslag Calculus of Computation

    Calculus of Computation

    Zohar Manna Aaron R Bradley

    Inbunden

    1039:-
  7. bokomslag Calculus of Computation

    Calculus of Computation

    Zohar Manna Aaron R Bradley

    749:-