Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings: Lecture Notes in Computer Science, cartea 10873
Editat de António Casimiro, Pedro M. Ferreiraen Limba Engleză Paperback – 26 mai 2018
The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 323.14 lei - 20%
Preț: 461.32 lei - 20%
Preț: 460.98 lei - 20%
Preț: 390.41 lei - 20%
Preț: 526.98 lei - 15%
Preț: 388.21 lei - 20%
Preț: 461.21 lei - 20%
Preț: 390.08 lei - 20%
Preț: 496.30 lei - 20%
Preț: 461.21 lei - 20%
Preț: 389.45 lei - 15%
Preț: 461.53 lei - 20%
Preț: 389.63 lei - 20%
Preț: 496.68 lei - 20%
Preț: 461.70 lei - 20%
Preț: 251.97 lei - 20%
Preț: 390.86 lei - 20%
Preț: 532.16 lei - 20%
Preț: 461.52 lei - 20%
Preț: 255.72 lei - 20%
Preț: 498.10 lei - 20%
Preț: 497.19 lei - 20%
Preț: 499.02 lei - 20%
Preț: 389.82 lei - 20%
Preț: 390.92 lei - 20%
Preț: 390.86 lei - 20%
Preț: 390.92 lei - 20%
Preț: 390.08 lei - 20%
Preț: 461.45 lei - 20%
Preț: 392.36 lei - 20%
Preț: 460.75 lei - 20%
Preț: 461.32 lei - 20%
Preț: 389.90 lei - 20%
Preț: 639.26 lei - 20%
Preț: 390.66 lei - 20%
Preț: 391.57 lei - 20%
Preț: 389.57 lei - 20%
Preț: 497.97 lei - 20%
Preț: 462.36 lei - 20%
Preț: 460.67 lei - 20%
Preț: 423.95 lei - 5%
Preț: 515.91 lei - 15%
Preț: 535.55 lei - 20%
Preț: 531.90 lei - 20%
Preț: 403.00 lei - 20%
Preț: 535.41 lei - 20%
Preț: 461.25 lei - 20%
Preț: 498.17 lei - 20%
Preț: 461.52 lei - 20%
Preț: 249.77 lei
Preț: 314.86 lei
Preț vechi: 393.57 lei
-20%
Puncte Express: 472
Preț estimativ în valută:
55.76€ • 65.12$ • 48.44£
55.76€ • 65.12$ • 48.44£
Carte tipărită la comandă
Livrare economică 21 februarie-07 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319924311
ISBN-10: 3319924311
Pagini: 163
Ilustrații: XIV, 175 p. 58 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.28 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3319924311
Pagini: 163
Ilustrații: XIV, 175 p. 58 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.28 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
A Practical Guide to Jbpm5Venkataganesh Thoppae-20%Preț: 134.68 lei168.34 lei -
Practical Crap Detection for Software ProjectsMike MacFarlane-20%Preț: 162.52 lei203.14 lei -
Dynamics Ax 2012 BlueprintsMurray Fife-20%Preț: 51.96 lei64.95 lei -
Asuntos de La Ingenieria del SoftwareLuis Antonio Salazar Caraballo-20%Preț: 73.28 lei91.61 lei -
-20%Preț: 90.94 lei113.68 lei -
Getting Started with AppsColby Sites-20%Preț: 54.82 lei68.53 lei -
-20%Preț: 66.93 lei83.67 lei -
-20%Preț: 82.79 lei103.50 lei -
Aprende Sobre La Ingenieria del SoftwareAngel Arias-20%Preț: 64.00 lei80.01 lei -
Programacion y Logica ProposicionalAngel Arias-20%Preț: 104.58 lei130.72 lei -
Diseno de SoftwareAlicia Durango-20%Preț: 86.48 lei108.10 lei -
-20%Preț: 167.78 lei209.72 lei -
50 Questions Executives Should Ask about Technology ProjectsGary K. Dearing-20%Preț: 93.80 lei117.25 lei -
-20%Preț: 574.38 lei717.98 lei -
-20%Preț: 572.34 lei715.42 lei -
-20%Preț: 322.93 lei403.66 lei -
-20%Preț: 311.67 lei389.59 lei -
Pragmatic Evaluation of Software ArchitecturesJens Knodel-20%Preț: 560.31 lei700.38 lei -
-20%Preț: 325.92 lei407.40 lei -
-20%Preț: 331.48 lei414.35 lei -
-20%Preț: 313.24 lei391.55 lei -
-20%Preț: 647.77 lei809.72 lei -
-20%Preț: 333.38 lei416.72 lei -
Transactions on Foundations for Mastering Change IBernhard Steffen-20%Preț: 318.67 lei398.33 lei -
Transactions on Modularity and Composition IShigeru Chiba-20%Preț: 483.03 lei603.78 lei
Cuprins
Safety and Security.- Using Safety Contracts to Verify Design Assumptions During Runtime.- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.- Ada 202X.- Safe Dynamic Memory Management in Ada and SPARK.- Safe Non-Blocking Synchronization in Ada2x.- Handling Implicit Overhead.- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling.- Real-Time Scheduling.- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems.- New Application Domains.- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.