Programmverifikation 1
bokomslag Programmverifikation
Data & IT

Programmverifikation

Krzysztof R Apt • Ernst-Rüdiger Olderog

Pocket

409:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 258 sidor
  • 1994
  • Författare: Krzysztof R Apt, Ernst-Rüdiger Olderog
  • Format: Pocket/Paperback
  • ISBN: 9783540574798
  • Språk: Tyska
  • Antal sidor: 258
  • Utgivningsdatum: 1994-03-21
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Rechneraufbau und Rechnerarchitektur

    Rechneraufbau und Rechnerarchitektur

    Axel Böttcher

    Pocket

    399:-
  2. bokomslag Parallele Datenverarbeitung mit dem Transputer

    Parallele Datenverarbeitung mit dem T...

    Reinhard Grebe

    Pocket

    769:-
  3. bokomslag Rechnerstrukturen und Rechnerarchitekturen

    Rechnerstrukturen und Rechnerarchitek...

    Peter Sokolowsky Bernd Bundschuh

    Pocket

    679:-
  4. bokomslag Paulinische Studien

    Paulinische Studien

    Hans Dieter Betz

    Klotband

    2339:-
  5. bokomslag Kooperation und Konkurrenz

    Kooperation und Konkurrenz

    Günter Hommel Ralf G Herrtwich

    Pocket

    749:-
  6. bokomslag Programmentwicklung und Verifikation

    Programmentwicklung und Verifikation

    Gerald Futschek

    Pocket

    969:-
  7. 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:-
  8. bokomslag Middleware in Java

    Middleware in Java

    Markus Mathes Steffen Heinzl

    Pocket

    629:-
  9. bokomslag Grundlagen des parallelen wissenschaftlichen Rechnens

    Grundlagen des parallelen wissenschaf...

    Tobias Weinzierl

    Pocket

    699:-
  10. bokomslag Telekooperation

    Telekooperation

    R Reichwald, K Möslein, H Sachenbacher, H Englberger

    Pocket

    609:-