Verification Of Sequential And Concurrent Programs 1
bokomslag Verification Of Sequential And Concurrent Programs

Verification Of Sequential And Concurrent Programs

Apt Krzysztof R Apt • Olderog Ernst-Rudiger Olderog

Pocket

879:-

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:-

Andra format:

  • 2012
  • Författare: Apt Krzysztof R Apt, Olderog Ernst-Rudiger Olderog
  • Format: Pocket/Paperback
  • ISBN: 9781475727159
  • Språk: Engelska
  • Utgivningsdatum: 2012-12-05
  • Förlag: Springer Nature B.V.

Du kanske gillar

  1. bokomslag Formal Techniques in Real-Time and Fault-Tolerant Systems

    Formal Techniques in Real-Time and Fa...

    Ernst-Rüdiger Olderog Werner Damm

    Pocket

    719:-
  2. bokomslag Programmverifikation

    Programmverifikation

    Ernst-Rüdiger Olderog Krzysztof R Apt

    Pocket

    409:-
  3. bokomslag Recent Advances In Constraints

    Recent Advances In Constraints

    Apt Krzysztof R Apt, Fages Francois Fages, Rossi Francesca Rossi

    Pocket

    879:-
  4. bokomslag Gastro-Management

    Gastro-Management

    Torsten Olderog, Paul Olderog, Julia-Marie Welker

    Pocket

    579:-
  5. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)
  6. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog

    1189:-
  7. bokomslag Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    Franco Turini Krzysztof R Apt

    1039:-
  8. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog

    Inbunden

    1469:-
  9. bokomslag New Trends in Constraints

    New Trends in Constraints

    Krzysztof R Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

    Pocket

    749:-
  10. bokomslag Demon Copperhead

    Demon Copperhead

    Barbara Kingsolver

    Pocket

    79:- (125:-)

Andra av samma författare

  1. bokomslag Recent Advances In Constraints

    Recent Advances In Constraints

    Apt Krzysztof R Apt, Fages Francois Fages, Rossi Francesca Rossi

    Pocket

    879:-