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ț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 314.86 lei
Preț vechi: 393.57 lei
-20%
Puncte Express: 472
Preț estimativ în valută:
55.68€ • 66.02$ • 48.48£
55.68€ • 66.02$ • 48.48£
Carte tipărită la comandă
Livrare economică 31 martie-14 aprilie
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.