• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Programmeringsböcker
    3. Programvaruutveckling

    VDM '87. VDM - A Formal Method at Work

    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    AvDines Bjørner,Cliff Jones

    Häftad, Engelska, 1987

    Del i serien Lecture Notes in Computer Science

    560 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Produktinformation

    • Utgivningsdatum:1987-03-11
    • Mått:155 x 235 x 24 mm
    • Vikt:657 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:422
    • Upplaga:1987
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540176541

    Utforska kategorier

    • Programvaruutveckling inom Data och IT

    Innehållsförteckning

    • VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs — Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine — Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.
    Hoppa över listan

    Du kanske också är intresserad av

    Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel - Computer Science and Its Applications, Inbunden

    Computer Science and Its Applications

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

    Inbunden, 2015

    1 113 kr

    Jan Rumohr, Eckart Walger, Bernt Zeitzschel - Seawater-Sediment Interactions in Coastal Waters, Häftad

    Seawater-Sediment Interactions in Coastal Waters

    Jan Rumohr, Eckart Walger, Bernt Zeitzschel

    Häftad, 1987

    544 kr

    Paul Alan Vojta - Diophantine Approximations and Value Distribution Theory, Häftad
    Del 1239

    Diophantine Approximations and Value Distribution Theory

    Paul Alan Vojta

    Häftad, 1987

    308 kr

    Aravindan Chandrabose, Selwyn Piramuthu, Joan Lu, Xavier Fernando, Erich J. Neuhold - Computer, Communication, and Signal Processing, E-bok

    Computer, Communication, and Signal Processing

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

    E-bok
    2022

    1 780 kr

    Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You - Information and Communication Technology, Häftad

    Information and Communication Technology

    Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You

    Häftad, 2014

    1 113 kr

    Vito J. Colangelo, Francis A. Heiser - Analysis of Metallurgical Failures, Inbunden

    Analysis of Metallurgical Failures

    Vito J. Colangelo, Francis A. Heiser

    Inbunden, 1987

    3 336 kr

    Tran Khanh Dang, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Josef Küng, Nam Thoai - Future Data and Security Engineering, Häftad
    Del 8860

    Future Data and Security Engineering

    Tran Khanh Dang, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Josef Küng, Nam Thoai

    Häftad, 2014

    560 kr

    Wolfgang Hübner, Gregor Lux-Mülders, Matthias Muth - Theseus, Häftad

    Theseus

    Wolfgang Hübner, Gregor Lux-Mülders, Matthias Muth

    Häftad, 1987

    576 kr

    Ilsun You, A Min Tjoa, Erich J. Neuhold, Made Sudiana Mahendra, Linawati - Information and Communication Technology, E-bok

    Information and Communication Technology

    Ilsun You, A Min Tjoa, Erich J. Neuhold, Made Sudiana Mahendra, Linawati

    E-bok
    2014

    1 455 kr

    Erich J. Neuhold, Xavier Fernando, Joan Lu, Selwyn Piramuthu, Aravindan Chandrabose - Computer, Communication, and Signal Processing, Inbunden

    Computer, Communication, and Signal Processing

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

    Inbunden, 2022

    1 334 kr