Reliable Software Technologies - Ada-Europe 2015: Lecture Notes in Computer Science, cartea 9111
Editat de Juan Antonio de la Puente, Tullio Vardanegaen Limba Engleză Paperback – iun 2015
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 319.28 lei
Preț vechi: 399.10 lei
-20%
Puncte Express: 479
Carte tipărită la comandă
Livrare economică 02-16 iunie
Specificații
ISBN-13: 9783319195834
ISBN-10: 3319195832
Pagini: 244
Ilustrații: XIV, 229 p. 68 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3319195832
Pagini: 244
Ilustrații: XIV, 229 p. 68 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-20%Preț: 51.24 lei64.05 lei -
-20%Preț: 100.03 lei125.04 lei -
-20%Preț: 148.12 lei185.15 lei -
-20%Preț: 148.03 lei185.04 lei -
-20%Preț: 50.95 lei63.68 lei -
-20%Preț: 51.24 lei64.05 lei -
-20%Preț: 99.51 lei124.39 lei -
-20%Preț: 100.03 lei125.04 lei -
-20%Preț: 51.43 lei64.28 lei -
-20%Preț: 51.08 lei63.85 lei -
-20%Preț: 148.31 lei185.38 lei -
Build a Fantastic Web Browser in Java in 5 Steps!Marcelo Cintra Bitencourt-20%Preț: 55.44 lei69.31 lei -
Reliable Software Technologies - Ada-Europe 2014Laurent George-20%Preț: 317.47 lei396.84 lei -
Programming LanguagesFernando Castor-20%Preț: 317.04 lei396.30 lei -
-20%Preț: 312.30 lei390.38 lei -
-20%Preț: 325.25 lei406.56 lei -
Reliable Software Technologies - Ada-Europe 2017Johann Blieberger-20%Preț: 347.94 lei434.93 lei -
Euro-Par 2017: Parallel ProcessingFrancisco F. Rivera-20%Preț: 345.71 lei432.13 lei -
Critical Systems: Formal Methods and Automated VerificationLaure Petrucci-20%Preț: 319.70 lei399.63 lei -
Programming with Scala: Language ExplorationBhim P. Upadhyaya-20%Preț: 288.59 lei360.74 lei -
Foundations of Programming LanguagesKent D. Lee-20%Preț: 357.01 lei446.26 lei -
Programming Languages and SystemsBor-Yuh Evan Chang-20%Preț: 336.29 lei420.36 lei -
Reliable Software Technology - Ada-Europe 2005Tullio Vardanega-20%Preț: 321.94 lei402.43 lei -
Reliable Software Technologies - Ada-Europe 2008Fabrice Kordon-20%Preț: 322.37 lei402.96 lei -
-20%Preț: 320.24 lei400.30 lei -
-20%Preț: 318.67 lei398.33 lei
Public țintă
ResearchCuprins
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages.- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS.- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP.- An Execution Model for Fine-Grained Parallelism in Ada.- AFDX Emulator for an ARINC-Based Training Platform.