The Vienna Development Method: The Meta-Language
Editat de D. Bjorner, C. B. Jonesen Limba Engleză Paperback – mai 1978
Preț: 201.73 lei
Preț vechi: 252.16 lei
-20% Nou
Puncte Express: 303
Preț estimativ în valută:
35.69€ • 41.58$ • 31.17£
35.69€ • 41.58$ • 31.17£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
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 22 mm
Greutate: 0.61 kg
Ediția:1978
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540087664
Pagini: 404
Ilustrații: XX, 384 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.61 kg
Ediția:1978
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The C++ Programming LanguageBjarne Stroustrup-20%Preț: 515.83 lei644.79 lei -
Python Programming for Biology: Bioinformatics and BeyondTim J. Stevens-20%Preț: 455.63 lei569.54 lei -
-20%Preț: 162.52 lei203.14 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
-20%Preț: 231.14 lei288.92 lei -
Programming Entity Framework: DbContextJulia Lerman-20%Preț: 143.65 lei179.55 lei -
Functional Programming in ScalaRunar Bjarnason-20%Preț: 285.50 lei356.88 lei -
Python Programming for BeginnersJoseph Joyner-20%Preț: 50.93 lei63.66 lei -
-20%Preț: 956.09 lei1195.11 lei -
Murach's C# 2012Joel Murach-29%Preț: 342.50 lei479.44 lei -
-20%Preț: 319.60 lei399.50 lei -
-20%Preț: 326.42 lei408.02 lei -
-20%Preț: 327.84 lei409.80 lei -
Exploitation of Fine-Grain ParallelismGünter Böckle-20%Preț: 315.62 lei394.52 lei -
-20%Preț: 321.17 lei401.46 lei -
-20%Preț: 328.29 lei410.37 lei -
-20%Preț: 325.79 lei407.24 lei -
Runtime VerificationOleg Sokolsky-20%Preț: 317.50 lei396.88 lei
Public țintă
ResearchCuprins
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.