VDM '87. VDM - A Formal Method at Work 1
bokomslag VDM '87. VDM - A Formal Method at Work
Data & IT

VDM '87. VDM - A Formal Method at Work

Dines Bjorner • Cliff Jones • Michael Mac An Airchinnigh • Erich J Neuhold

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

  • 422 sidor
  • 1987
  • Författare: Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J Neuhold
  • Format: Pocket/Paperback
  • ISBN: 9783540176541
  • Språk: Engelska
  • Antal sidor: 422
  • Utgivningsdatum: 1987-03-11
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Computer Science and Its Applications

    Computer Science and Its Applications

    Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J Neuhold, Robert Wrembel

    Inbunden

    1469:-
  2. bokomslag Computer Science and Its Applications

    Computer Science and Its Applications

    Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J Neuhold, Robert Wrembel

    1469:-
  3. bokomslag VDM '88. VDM - The Way Ahead

    VDM '88. VDM - The Way Ahead

    Robin E Bloomfield, Lynn S Marshall, Roger B Jones

    Pocket

    749:-
  4. bokomslag Living History Anthology

    Living History Anthology

    Martha B Katz-Hyman, Cliff Jones, Susan J McCabe, Mary Seelhorst

    Pocket

    759:-
  5. bokomslag Diophantine Approximations and Value Distribution Theory

    Diophantine Approximations and Value ...

    Paul Alan Vojta

    Pocket

    409:-
  6. bokomslag VDM '90. VDM and Z - Formal Methods in Software Development

    VDM '90. VDM and Z - Formal Methods i...

    Dines Bjorner, C A R Hoare, Hans Langmaack

    Pocket

    749:-
  7. bokomslag Analysis of Metallurgical Failures

    Analysis of Metallurgical Failures

    Francis A Heiser Vito J Colangelo

    Inbunden

    4379:-
  8. bokomslag Living History Anthology

    Living History Anthology

    Martha B Katz-Hyman, Cliff Jones, Susan J McCabe, Mary Seelhorst

    Inbunden

    2739:-
  9. bokomslag Rigorous Development of Complex Fault-Tolerant Systems

    Rigorous Development of Complex Fault...

    Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

    Pocket

    749:-
  10. bokomslag Flamingo's Smile

    Flamingo's Smile

    Stephen Jay Gould

    Pocket

    399:-

Andra av samma författare

  1. bokomslag Living History Anthology

    Living History Anthology

    Martha B Katz-Hyman, Cliff Jones, Susan J McCabe, Mary Seelhorst

    Inbunden

    2739:-
  2. bokomslag Living History Anthology

    Living History Anthology

    Martha B Katz-Hyman, Cliff Jones, Susan J McCabe, Mary Seelhorst

    Pocket

    759:-
  3. bokomslag Norvis

    Norvis

    Cliff Jones

    Pocket

    479:-
  4. bokomslag Water Runs Slow Through Flat Land

    Water Runs Slow Through Flat Land

    Cliff Jones

    Häftad

    269:-
  5. bokomslag Mirrormaze

    Mirrormaze

    Cliff Jones

    Pocket

    259:-
  6. bokomslag Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

    Structure for Dependability: Computer...

    Denis Besnard, Cristina Gacek, Cliff Jones

    Pocket

    1469:-
  7. bokomslag Symposium on Real-Time and Hybrid Systems

    Symposium on Real-Time and Hybrid Sys...

    Cliff Jones, Ji Wang, Naijun Zhan

    Pocket

    749:-
  8. bokomslag Computer, Communication, and Signal Processing

    Computer, Communication, and Signal P...

    Erich J Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose

    Inbunden

    1759:-
  9. bokomslag Computer, Communication, and Signal Processing

    Computer, Communication, and Signal P...

    Erich J Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose

    Pocket

    1759:-
  10. bokomslag FM 2014: Formal Methods

    FM 2014: Formal Methods

    Cliff Jones, Pekka Pihlajasaari, Jun Sun

    Pocket

    1469:-