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 • D Bjorner • D Bjorner • O N Oest

Pocket

1479:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 630 sidor
  • 1980
  • Författare: Dines Bjorner, O N Oest, D Bjorner, D 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. Ny
    bokomslag Elgar Encyclopedia of City and Place Branding

    Elgar Encyclopedia of City and Place ...

    Eduardo Oliveira, Efe Sevin, Emma Björner

    Inbunden

    5569:-
  2. bokomslag Bloody, Brutal, and Barbaric? - Wrestling with Troubling War Texts

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

    Gordan K Oeste William J Webb

    Pocket

    659:-
  3. 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, Dines Bjørner, C A R Hoare

    Pocket

    749:-
  4. bokomslag Design, Learning, and Innovation

    Design, Learning, and Innovation

    Eva Brooks, Emma Edstrand, Anders Kalsgaard Møller, Thomas Bjørner

    Pocket

    1179:-
  5. 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, Dines Bjørner

    Pocket

    749:-
  6. Ny
    bokomslag Skärvor av en syster

    Skärvor av en syster

    Sarah Easter Collins

    Pocket

    79:- (125:-)
  7. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Dines Bjørner, Manfred Broy, Igor V Pottosin

    Pocket

    749:-
  8. bokomslag Software Engineering 1

    Software Engineering 1

    Dines Bjørner

    1269:-
  9. Ny
    bokomslag Konstiga Sally Diamond

    Konstiga Sally Diamond

    Liz Nugent

    Pocket

    79:- (125:-)
  10. bokomslag The Emissary

    The Emissary

    Yoko Tawada

    Pocket

    189:-

Andra av samma författare

  1. bokomslag Vienna Development Method: The Meta-Language

    Vienna Development Method: The Meta-L...

    D Bjorner, C B Jones, C B Jones

    Pocket

    449:-
  2. bokomslag Abstract Software Specifications

    Abstract Software Specifications

    D Bjorner

    Pocket

    599:-
  3. 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, Dines Bjørner

    Pocket

    749:-
  4. 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, Dines Bjørner, C A R Hoare

    Pocket

    749:-