Formal Methods and Hybrid Real-Time Systems 1
bokomslag Formal Methods and Hybrid Real-Time Systems
Data & IT

Formal Methods and Hybrid Real-Time Systems

Cliff B Jones • Zhiming Liu • Jim Woodcock

Pocket

989:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 542 sidor
  • 2007
This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.
  • Författare: Cliff B Jones, Zhiming Liu, Jim Woodcock
  • Format: Pocket/Paperback
  • ISBN: 9783540752202
  • Språk: Engelska
  • Antal sidor: 542
  • Utgivningsdatum: 2007-09-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Domain Modeling and the Duration Calculus

    Domain Modeling and the Duration Calc...

    Chris George, Zhiming Liu, Jim Woodcock

    Pocket

    989:-
  2. bokomslag Refinement Techniques in Software Engineering

    Refinement Techniques in Software Eng...

    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

    Pocket

    989:-
  3. bokomslag Symposium on Real-Time and Hybrid Systems

    Symposium on Real-Time and Hybrid Sys...

    Cliff Jones, Ji Wang, Naijun Zhan

    Pocket

    1009:-
  4. bokomslag Theoretical Aspects of Computing - ICTAC 2007

    Theoretical Aspects of Computing - IC...

    Cliff B Jones, Zhiming Liu, Jones Woodcock

    Pocket

    1009:-
  5. bokomslag Modeling the Combined Terrorist-Narcotics Trafficker Threat to National Security

    Modeling the Combined Terrorist-Narco...

    Samuel Musa, National Defense University, Alexander Woodcock

    Häftad

    309:-
  6. bokomslag The Magna Carta Plays

    The Magna Carta Plays

    Timberlake Wertenbaker, Howard Brenton, Sally Woodcock, Anders Lustgarten

    Pocket

    309:-
  7. bokomslag Full Light and Perfect Shadow

    Full Light and Perfect Shadow

    David F Martin

    Inbunden

    459:-
  8. bokomslag Engineering Trustworthy Software Systems

    Engineering Trustworthy Software Systems

    Jonathan P Bowen, Zhiming Liu, Zili Zhang

    Pocket

    1099:-
  9. bokomslag Evolution and Environment

    Evolution and Environment

    Petr Alekseevich Kropotkin, George Woodcock, George Woodcock

    Inbunden

    539:-
  10. bokomslag Dependable Software Engineering: Theories, Tools, and Applications

    Dependable Software Engineering: Theo...

    Xuandong Li, Zhiming Liu, Wang Yi

    Pocket

    869:-

Andra av samma författare

  1. bokomslag Object Orientation with Parallelism and Persistence

    Object Orientation with Parallelism a...

    Burkhard Freitag, Cliff B Jones, Christian Lengauer, Hans-Jrg Schek

    Inbunden

    2989:-
  2. bokomslag Reflections on the Work of C.A.R. Hoare

    Reflections on the Work of C.A.R. Hoare

    Cliff B Jones, A W Roscoe, Kenneth R Wood

    Pocket

    2819:-
  3. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Inbunden

    1219:-
  4. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Pocket

    819:-
  5. bokomslag Object Orientation with Parallelism and Persistence

    Object Orientation with Parallelism a...

    Burkhard Freitag, Cliff B Jones, Christian Lengauer, Hans-Jrg Schek

    Pocket

    3029:-
  6. bokomslag Reflections on the Work of C.A.R. Hoare

    Reflections on the Work of C.A.R. Hoare

    Cliff B Jones, A W Roscoe, Kenneth R Wood

    Inbunden

    2819:-
  7. bokomslag Engineering Trustworthy Software Systems

    Engineering Trustworthy Software Systems

    Jonathan P Bowen, Zhiming Liu, Zili Zhang

    Pocket

    989:-
  8. bokomslag Engineering Trustworthy Software Systems

    Engineering Trustworthy Software Systems

    Jonathan P Bowen, Zhiming Liu, Zili Zhang

    Pocket

    1099:-
  9. bokomslag Engineering Trustworthy Software Systems

    Engineering Trustworthy Software Systems

    Jonathan P Bowen, Zhiming Liu, Zili Zhang

    Pocket

    989:-
  10. bokomslag Understanding Programming Languages

    Understanding Programming Languages

    Cliff B Jones

    Inbunden

    1309:-