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

899:-

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

  • 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 Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rdiger Olderog

    Pocket

    1209:-
  2. bokomslag Recent Advances In Constraints

    Recent Advances In Constraints

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

    Pocket

    899:-
  3. bokomslag Formal Techniques in Real-Time and Fault-Tolerant Systems

    Formal Techniques in Real-Time and Fa...

    Ernst-Rdiger Olderog Werner Damm

    Pocket

    759:-
  4. bokomslag Programmverifikation

    Programmverifikation

    Ernst-Rdiger Olderog Krzysztof R Apt

    Pocket

    429:-
  5. bokomslag Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    Franco Turini Krzysztof R Apt

    Pocket

    1069:-
  6. bokomslag Logic Programming Languages

    Logic Programming Languages

    Krzysztof R Apt, J W De Bakker, J M Rutten

    Pocket

    749:-
  7. bokomslag Brief History Of Mathematics For Curious Minds, A

    Brief History Of Mathematics For Curi...

    Krzysztof R Apt

    Pocket

    669:-
  8. bokomslag Constraint Logic Programming using Eclipse

    Constraint Logic Programming using Ec...

    Krzysztof R Apt

    Inbunden

    1819:-
  9. bokomslag Brief History Of Mathematics For Curious Minds, A

    Brief History Of Mathematics For Curi...

    Krzysztof R Apt

    Inbunden

    1229:-
  10. bokomslag Robot Motion and Control 2009

    Robot Motion and Control 2009

    Krzysztof R Kozlowski

    Pocket

    2969:-

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

    899:-