Verifying Concurrent Processes Using Temporal Logic 1
bokomslag Verifying Concurrent Processes Using Temporal Logic
Data & IT

Verifying Concurrent Processes Using Temporal Logic

B T Hailpern

Pocket

749:-

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

  • 209 sidor
  • 1982
  • Författare: B T Hailpern
  • Format: Pocket/Paperback
  • ISBN: 9783540112051
  • Språk: Engelska
  • Antal sidor: 209
  • Utgivningsdatum: 1982-03-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Logics of Programs and Their Applications

    Logics of Programs and Their Applicat...

    A Salwicki

    Pocket

    349:-
  2. bokomslag Parallelisierung komplexer Probleme

    Parallelisierung komplexer Probleme

    Hans Werner Meuer

    Pocket

    749:-
  3. bokomslag Parallel Database Systems

    Parallel Database Systems

    Pierre America

    Pocket

    749:-
  4. bokomslag Introduction to the PL/CV2 Programming Logic

    Introduction to the PL/CV2 Programmin...

    R L Constable, S D Johnson, C D Eichenlaub

    Pocket

    749:-
  5. bokomslag Conditional and Typed Rewriting Systems

    Conditional and Typed Rewriting Systems

    Mitsuhiro Okada Stephane Kaplan

    Pocket

    749:-
  6. bokomslag CONPAR 81

    CONPAR 81

    W Handler

    Pocket

    749:-
  7. bokomslag Algebraic Specification Techniques in Object Oriented Programming Environments

    Algebraic Specification Techniques in...

    Ruth Breu

    Pocket

    749:-
  8. bokomslag Parallelrechner-Architekturen

    Parallelrechner-Architekturen

    Rudolf Kober

    Pocket

    769:-
  9. bokomslag Transputerpraktikum

    Transputerpraktikum

    Roland Vollmar Thomas Umland

    Pocket

    609:-
  10. bokomslag Massiv parallele Programmierung mit dem Parallaxis-Modell

    Massiv parallele Programmierung mit d...

    Thomas Bräunl

    Pocket

    749:-