Temporal Logics in Computer Science 1
bokomslag Temporal Logics in Computer Science
Vetenskap & teknik

Temporal Logics in Computer Science

Stephane Demri • Valentin Goranko • Lange,

Klotband

2109:-

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

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 752 sidor
  • 2016
  • Författare: Stephane Demri, Valentin Goranko, Lange
  • Format: Klotband
  • ISBN: 9781107028364
  • Språk: Engelska
  • Antal sidor: 752
  • Utgivningsdatum: 2016-10-13
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Introduction to Algorithms, fourth edition

    Introduction to Algorithms, fourth ed...

    Thomas H Cormen • Charles E Leiserson

    Inbunden

    2109:-
  2. bokomslag Institutional Theory in Political Science, Fourth Edition

    Institutional Theory in Political Sci...

    B Guy Peters

    Inbunden

    2109:-
  3. bokomslag Neutrons and Synchrotron Radiation in Engineering Materials Science

    Neutrons and Synchrotron Radiation in...

    Peter Staron • Andreas Schreyer • Hel...

    Inbunden

    2109:-
  4. bokomslag Advances in Modal Logic Volume 8: Volume 8

    Advances in Modal Logic Volume 8: Vol...

    Lev Beklemishev, Valentin Goranko, Valentin Shehtman

    Pocket

    379:-
  5. bokomslag Logic and Discrete Mathematics

    Logic and Discrete Mathematics

    Willem Conradie • Valentin Goranko •...

    Pocket

    199:-
  6. bokomslag Automated Reasoning

    Automated Reasoning

    Stéphane Demri, Deepak Kapur, Christoph Weidenbach

    Pocket

    719:-
  7. bokomslag Baby Makers

    Baby Makers

    Demrie Margo Alonzo

    Häftad

    369:-
  8. bokomslag Logic and Discrete Mathematics

    Logic and Discrete Mathematics

    Willem Conradie • Valentin Goranko

    Pocket

    799:-
  9. bokomslag Incomplete Information: Structure, Inference, Complexity

    Incomplete Information: Structure, In...

    Ewa Orlowska Stephane P Demri

    2199:-
  10. bokomslag Lectures on Logic and Computation

    Lectures on Logic and Computation

    Valentin Goranko Nick Bezhanishvili

    Pocket

    669:-

Andra av samma författare

  1. bokomslag Logic as a Tool

    Logic as a Tool

    Valentin Goranko

    Inbunden

    769:-
  2. bokomslag Logic as a Tool

    Logic as a Tool

    Valentin Goranko

    Pocket

    399:-
  3. bokomslag Temporal Logics

    Temporal Logics

    Valentin Goranko

    309:-
  4. bokomslag Logic and Discrete Mathematics

    Logic and Discrete Mathematics

    Willem Conradie • Valentin Goranko

    Pocket

    799:-
  5. bokomslag Logic and Discrete Mathematics

    Logic and Discrete Mathematics

    Willem Conradie • Valentin Goranko •...

    Pocket

    199:-
  6. bokomslag Advances in Modal Logic Volume 8: Volume 8

    Advances in Modal Logic Volume 8: Vol...

    Lev Beklemishev, Valentin Goranko, Valentin Shehtman

    Pocket

    379:-
  7. bokomslag Automated Reasoning

    Automated Reasoning

    Stéphane Demri, Deepak Kapur, Christoph Weidenbach

    Pocket

    719:-
  8. bokomslag Lectures on Logic and Computation

    Lectures on Logic and Computation

    Valentin Goranko Nick Bezhanishvili

    Pocket

    669:-