Jones / Bjorner | The Vienna Development Method: The Meta-Language | Buch | 978-3-540-08766-3 | sack.de

Buch, Englisch, Band 61, 384 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1250 g

Reihe: Lecture Notes in Computer Science

Jones / Bjorner

The Vienna Development Method: The Meta-Language


1978
ISBN: 978-3-540-08766-3
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 61, 384 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1250 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-08766-3
Verlag: Springer Berlin Heidelberg

Springer Book Archives

Jones / Bjorner The Vienna Development Method: The Meta-Language jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Jones, C. B.
Bjorner, D.

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.