• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

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
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    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
      • Populära bokserier
      • 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 @ 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. Systemvetenskap och AI

      Vienna Development Method: The Meta-Language

      AvD. Bjorner,C.B. Jones

      Häftad, Engelska, 1978

      Del i serien Lecture Notes in Computer Science

      342 kr

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

      Produktinformation

      • Utgivningsdatum:1978-05-01
      • Mått:155 x 235 x 22 mm
      • Vikt:610 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:384
      • Upplaga:1978
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540087663

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.
      Hoppa över listan

      Du kanske också är intresserad av

      Wolfgang Weissleder - Nomadic Alternative, Inbunden

      Nomadic Alternative

      Wolfgang Weissleder

      Inbunden, 1978

      1 806 kr

      Kenneth A. Hammond, George Macinko, Wilma B. Fairchild - Sourcebook on the Environment, Inbunden

      Sourcebook on the Environment

      Kenneth A. Hammond, George Macinko, Wilma B. Fairchild

      Inbunden, 1978

      821 kr

      Solomon Forse, Jessica Peter, David Worn, Stevie Edwards, Bridget D. Brave, Michelle Tang, Ethan Yoder, Peter Ong Cook, J.L. Kiefer, Philippa Evans, Caleb Stephens, Lindsey Ragsdale, M.E. Bronstein, Christopher O'Halloran, C.B. Jones, Patrick Barb, P.L. McMillan, Cody Goodfellow, Hailey Piper, Brian Evenson, Christopher Buehlman - Howls From the Dark Ages: An Anthology of Medieval Horror, E-bok

      Howls From the Dark Ages: An Anthology of Medieval Horror

      Solomon Forse, Jessica Peter, David Worn, Stevie Edwards, Bridget D. Brave, Michelle Tang, Ethan Yoder, Peter Ong Cook, J.L. Kiefer, Philippa Evans, Caleb Stephens, Lindsey Ragsdale, M.E. Bronstein, Christopher O'Halloran, C.B. Jones, Patrick Barb, P.L. McMillan, Cody Goodfellow, Hailey Piper, Brian Evenson, Christopher Buehlman

      E-bok

      32 kr

      OECD - Etudes economiques de l'OCDE : Yougoslavie 1978, E-bok

      Etudes economiques de l'OCDE : Yougoslavie 1978

      OECD

      E-bok
      1978

      242 kr

      L. J. Jr. Cherene - Set Valued Dynamical Systems and Economic Flow, Häftad
      Del 158

      Set Valued Dynamical Systems and Economic Flow

      L. J. Jr. Cherene

      Häftad, 1978

      549 kr

      E. Kirchner - 20 Jahre Fluothane, Häftad

      20 Jahre Fluothane

      E. Kirchner

      Häftad, 1978

      565 kr

      Damien B. Raphael, J.V. Gachs, J.W. Donley, Patrick Barb, Carson Winter, P.L. McMillan, Mathew Wend, C.B. Jones, Edith Lockwood, Christopher O'Halloran, Bridget D. Brave, S.E. Denton, Chelsea Pumpkins - AHH! That's What I Call Horror: An Anthology of '90s Horror, E-bok

      AHH! That's What I Call Horror: An Anthology of '90s Horror

      Damien B. Raphael, J.V. Gachs, J.W. Donley, Patrick Barb, Carson Winter, P.L. McMillan, Mathew Wend, C.B. Jones, Edith Lockwood, Christopher O'Halloran, Bridget D. Brave, S.E. Denton, Chelsea Pumpkins

      E-bok

      55 kr

      R.D. Moore, Peter Lindsay, K.D. Jones, C.B. Jones - mural: A Formal Development Support System, E-bok

      mural: A Formal Development Support System

      R.D. Moore, Peter Lindsay, K.D. Jones, C.B. Jones

      E-bok
      2012

      732 kr

      Tristan Tzara - Sept Manifestes Dada, Lampisteries, Häftad

      Sept Manifestes Dada, Lampisteries

      Tristan Tzara

      Häftad, 1978

      504 kr

      D. Bjorner - Abstract Software Specifications, Häftad

      Abstract Software Specifications

      D. Bjorner

      Häftad, 1980

      454 kr