Towards a Formal Description of Ada 1
bokomslag Towards a Formal Description of Ada
Data & IT

Towards a Formal Description of Ada

Dines Bjorner • O N Oest

Pocket

1469:-

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

  • 630 sidor
  • 1980
  • Författare: Dines Bjorner, O N Oest
  • Format: Pocket/Paperback
  • ISBN: 9783540102830
  • Språk: Engelska
  • Antal sidor: 630
  • Utgivningsdatum: 1980-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Bloody, Brutal, and Barbaric? - Wrestling with Troubling War Texts

    Bloody, Brutal, and Barbaric? - Wrest...

    Gordan K Oeste William J Webb

    Pocket

    689:-
  2. bokomslag Roll Call

    Roll Call

    Joe St John Bobby Kipper

    199:-
  3. bokomslag How Socialism Works

    How Socialism Works

    Evelyn John Loe St Strachey John Stra...

    Klotband

    649:-
  4. bokomslag How Socialism Works

    How Socialism Works

    Evelyn John Loe St Strachey John Stra...

    Pocket

    449:-
  5. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjørner, Manfred Broy, Igor V Pottosin

    Pocket

    749:-
  6. bokomslag Software Engineering 1

    Software Engineering 1

    Dines Bjørner

    1259:-
  7. bokomslag Software Engineering 2

    Software Engineering 2

    Dines Bjørner

    749:-
  8. bokomslag VDM '87. VDM - A Formal Method at Work

    VDM '87. VDM - A Formal Method at Work

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

    Pocket

    749:-
  9. 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:-
  10. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjørner, Manfred Broy, Alexandre Zamulin

    Pocket

    749:-

Andra av samma författare

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

    VDM '87. VDM - A Formal Method at Work

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

    Pocket

    749:-
  2. 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:-