Cantitate/Preț
Produs

The Vienna Development Method: The Meta-Language: Lecture Notes in Computer Science, cartea 61

Editat de D. Bjorner, C. B. Jones
en Limba Engleză Paperback – mai 1978

Din seria Lecture Notes in Computer Science

Preț: 20470 lei

Preț vechi: 25587 lei
-20% Nou

Puncte Express: 307

Preț estimativ în valută:
3919 4073$ 3249£

Carte tipărită la comandă

Livrare economică 07-21 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540087663
ISBN-10: 3540087664
Pagini: 404
Ilustrații: XX, 384 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:1978
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.