Klik på en miniature for at gå til Google Books
Indlæser... The Vienna Development Method: The Meta-Languageaf D. Bjorner
Ingen Indlæser...
Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog. Der er ingen diskussionstråde på Snak om denne bog. Ingen anmeldelser ingen anmeldelser | tilføj en anmeldelse
Belongs to Series
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. No library descriptions found. |
Current DiscussionsIngen
Google Books — Indlæser... GenrerMelvil Decimal System (DDC)005.13Information Computing and Information Computer programming, programs, data, security Programming LanguagesLC-klassificeringVurderingGennemsnit: Ingen vurdering.Er det dig?Bliv LibraryThing-forfatter. |