Towards a Formal Description of Ada: Lecture Notes in Computer Science, cartea 98
Editat de D Bjorner, O.N. Oesten Limba Engleză Paperback – dec 1980
Din seria Lecture Notes in Computer Science
- 20%
Preț: 390.18 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 461.77 lei - 20%
Preț: 527.36 lei - 20%
Preț: 497.04 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 391.14 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.72 lei - 20%
Preț: 461.06 lei - 20%
Preț: 390.69 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 390.35 lei - 20%
Preț: 391.20 lei - 20%
Preț: 392.64 lei - 20%
Preț: 389.90 lei - 20%
Preț: 639.72 lei - 20%
Preț: 461.65 lei - 20%
Preț: 462.05 lei - 15%
Preț: 388.50 lei - 5%
Preț: 516.27 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 20%
Preț: 535.77 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 400.17 lei - 20%
Preț: 403.00 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 lei
Preț: 637.34 lei
Preț vechi: 796.67 lei
-20% Nou
Puncte Express: 956
Preț estimativ în valută:
112.82€ • 131.19$ • 98.58£
112.82€ • 131.19$ • 98.58£
Carte tipărită la comandă
Livrare economică 22 ianuarie-05 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540102830
ISBN-10: 3540102833
Pagini: 648
Ilustrații: XIV, 630 p.
Dimensiuni: 155 x 233 x 34 mm
Greutate: 0.9 kg
Ediția:1980
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540102833
Pagini: 648
Ilustrații: XIV, 630 p.
Dimensiuni: 155 x 233 x 34 mm
Greutate: 0.9 kg
Ediția:1980
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
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 -
Murach's C# 2012Joel Murach-29%Preț: 342.50 lei479.44 lei -
-20%Preț: 328.94 lei411.17 lei -
Reliable Software Technologies - Ada-Europe '98Lars Asplund-20%Preț: 322.01 lei402.51 lei -
CONCUR '98 Concurrency TheoryDavide Sangiorgi-20%Preț: 641.12 lei801.41 lei -
Formal Techniques in Real-Time and Fault-Tolerant SystemsAnders P. Ravn-20%Preț: 324.03 lei405.04 lei -
Principles of Declarative ProgrammingCatuscia Palamidessi-20%Preț: 332.21 lei415.26 lei -
-20%Preț: 318.30 lei397.88 lei -
Reliable Software Technologies - Ada-Europe '99Michael Gonzalez Harbour-20%Preț: 329.95 lei412.43 lei -
Advanced Functional ProgrammingS. Doaitse Swierstra-20%Preț: 321.81 lei402.26 lei
Public țintă
ResearchCuprins
The DDC Ada compiler development method.- A denotational (static) semantics method for defining Ada context conditions.- A formal semantics definition of sequential Ada.- Parallelism in Ada.- The design of a virtual machine for Ada.