Temporal Logic in Specification 1
bokomslag Temporal Logic in Specification
Data & IT

Temporal Logic in Specification

Behnam Banieqbal • Howard Barringer • Amir Pnueli

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

  • 452 sidor
  • 1989
  • Författare: Behnam Banieqbal, Howard Barringer, Amir Pnueli
  • Format: Pocket/Paperback
  • ISBN: 9783540518037
  • Språk: Engelska
  • Antal sidor: 452
  • Utgivningsdatum: 1989-10-11
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

    Willem-Paul De Roever, Hans Langmaack, Amir Pnueli

    Pocket

    1469:-
  2. bokomslag Zwischen Zusammenbruchsprognose Und Positivismusverdikt

    Zwischen Zusammenbruchsprognose Und P...

    Jürgen Scheele

    Pocket

    919:-
  3. bokomslag Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk, Oded Maler, Amir Pnueli

    Pocket

    1469:-
  4. bokomslag Wavefield Inversion

    Wavefield Inversion

    Armand Wirgin

    Pocket

    879:-
  5. bokomslag Recent Advances in Tryptophan Research

    Recent Advances in Tryptophan Research

    Graziella Allegri, Carlo V L Costa, Antonella Bertazzo

    Pocket

    1469:-
  6. bokomslag 9th International Conference on Robotic, Vision, Signal Processing and Power Applications

    9th International Conference on Robot...

    Haidi Ibrahim, Shahid Iqbal, Soo Siang Teoh, Mohd Tafir Mustaffa

    4239:-
  7. bokomslag Stepping Through the Centuries

    Stepping Through the Centuries

    Alice Frank

    Pocket

    329:-
  8. bokomslag Loch Morar and Mallaig

    Loch Morar and Mallaig

    Ordnance Survey

    279:-
  9. bokomslag Combinatorics on Traces

    Combinatorics on Traces

    Volker Diekert

    Pocket

    719:-
  10. bokomslag Applied Logistic Regression

    Applied Logistic Regression

    David W Hosmer, Stanley Lemeshow, Rodney X Sturdivant

    Inbunden

    2059:-

Andra av samma författare

  1. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Inbunden

    1469:-
  2. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Inbunden

    1619:-
  3. bokomslag Advances in Temporal Logic

    Advances in Temporal Logic

    Howard Barringer, Michael Fisher, Dov M Gabbay, Graham Gough

    Inbunden

    2139:-
  4. bokomslag Temporal Logic of Reactive and Concurrent Systems

    Temporal Logic of Reactive and Concur...

    Amir Pnueli Zohar Manna

    Pocket

    749:-
  5. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Pocket

    1619:-
  6. bokomslag Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk, Oded Maler, Amir Pnueli

    Pocket

    1469:-
  7. bokomslag Survey of Verification Techniques for Parallel Programs

    Survey of Verification Techniques for...

    Howard Barringer

    Pocket

    349:-
  8. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

    Willem-Paul De Roever, Hans Langmaack, Amir Pnueli

    Pocket

    1469:-
  9. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Amir Pnueli

    Pocket

    749:-
  10. bokomslag Runtime Verification

    Runtime Verification

    Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee

    Pocket

    749:-