The Vienna Development Method: The Meta-Language
Editat de D. Bjorner, C. B. Jonesen Limba Engleză Paperback – mai 1978
Preț: 202.35 lei
Preț vechi: 252.95 lei
-20%
Puncte Express: 304
Carte tipărită la comandă
Livrare economică 16-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 499.33 lei624.16 lei -
Python Programming for Biology: Bioinformatics and BeyondTim J. Stevens-20%Preț: 457.40 lei571.75 lei -
Beginning Programming with C++ For DummiesStephen R. Davis-20%Preț: 169.23 lei211.54 lei -
Pro ASP.NET Web API SecurityBadrinarayanan Lakshmiraghavan-20%Preț: 525.86 lei657.33 lei -
-20%Preț: 230.97 lei288.71 lei -
-20%Preț: 147.96 lei184.96 lei -
Functional Programming in ScalaRunar Bjarnason-20%Preț: 340.60 lei425.75 lei -
Python Programming for BeginnersJoseph Joyner-20%Preț: 50.93 lei63.66 lei -
Value-Range Analysis of C ProgramsAxel Simon-20%Preț: 975.21 lei1219.01 lei -
Murachs C# 2012Joel Murach-28%Preț: 355.17 lei495.87 lei -
-20%Preț: 321.74 lei402.18 lei -
Extensions of Logic ProgrammingEvelina Lamma-20%Preț: 329.14 lei411.42 lei -
-20%Preț: 330.75 lei413.43 lei -
Exploitation of Fine-Grain ParallelismGünter Böckle-20%Preț: 317.26 lei396.57 lei -
Functional Programming Languages in EducationPieter Hartel-20%Preț: 323.60 lei404.50 lei -
Ada in EuropeMarcel Toussaint-20%Preț: 331.16 lei413.95 lei -
Programming Languages and Systems - ESOP '96Hanne R. Nielson-20%Preț: 328.49 lei410.62 lei -
Runtime VerificationOleg Sokolsky-20%Preț: 318.48 lei398.10 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.