• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Programmeringsböcker

    Reliable Software Technologies -- Ada-Europe 2006

    11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

    AvLuís Miguel Pinho,Michael González Harbour

    Häftad, Engelska, 2006

    Del i serien Lecture Notes in Computer Science

    560 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.

    Produktinformation

    • Utgivningsdatum:2006-05-26
    • Mått:155 x 235 x 15 mm
    • Vikt:400 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:244
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540346630

    Utforska kategorier

    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Real-Time Systems.- Hierarchical Scheduling with Ada 2005.- A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications.- POSIX Trace Based Behavioural Reflection.- Static Analysis.- Static Detection of Access Anomalies in Ada95.- One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.- Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering.- Verification.- SPARK Annotations Within Executable UML.- Runtime Verification of Java Programs for Scenario-Based Specifications.- Applications.- Secure Execution of Computations in Untrusted Hosts.- A Systematic Approach to Developing Safe Tele-operated Robots.- Towards Developing Multi-agent Systems in Ada.- Reliability.- A Software Reliability Model Based on a Geometric Sequence of Failure Rates.- Adaptive Random Testing Through Iterative Partitioning.- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.- Compilers.- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.- Using Mathematics to Improve Ada Compiled Code.- Distributed Systems.- Replication-Aware Transactions: How to Roll a Transaction over Failures.- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.- Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.
    Hoppa över listan

    Du kanske också är intresserad av

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Viktor Banke - Det som en gång var eld, Inbunden
    • Nyhet

    Det som en gång var eld

    Viktor Banke

    Inbunden, 2026

    259 kr

    Jonas Gardell - Torka aldrig tårar utan handskar, Inbunden
    • Nyhet

    Torka aldrig tårar utan handskar

    Jonas Gardell

    Inbunden, 2026

    285 kr

    Michael Gonzalez Harbour, Luis Miguel Pinho - Reliable Software Technologies -- Ada-Europe 2006, E-bok

    Reliable Software Technologies -- Ada-Europe 2006

    Michael Gonzalez Harbour, Luis Miguel Pinho

    E-bok
    2006

    732 kr

    Anna Bååth - I tysta vatten, Pocket
    • -51%
    Del 1

    I tysta vatten

    Anna Bååth

    Pocket, 2025

    49 kr99 kr

    Mark Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael González Harbour - Practitioner’s Handbook for Real-Time Analysis, Häftad

    Practitioner’s Handbook for Real-Time Analysis

    Mark Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael González Harbour

    Häftad, 2012

    5 913 kr

    Frida Gråsjö - Beska droppar, Pocket
    • -45%
    Del 2

    Beska droppar

    Frida Gråsjö

    Pocket, 2025

    3,9 utav 5 stjärnor. Totalt antal röster:(7)

    49 kr89 kr

    Frida Gråsjö - En fråga om mord, Pocket
    • -51%
    Del 1

    En fråga om mord

    Frida Gråsjö

    Pocket, 2025

    3,8 utav 5 stjärnor. Totalt antal röster:(6)

    49 kr99 kr

    Mark Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael González Harbour - Practitioner’s Handbook for Real-Time Analysis, Inbunden

    Practitioner’s Handbook for Real-Time Analysis

    Mark Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael González Harbour

    Inbunden, 1993

    5 537 kr

    Frida Gråsjö - Vatten över huvudet, Pocket
    • -45%
    Del 1

    Vatten över huvudet

    Frida Gråsjö

    Pocket, 2024

    3,4 utav 5 stjärnor. Totalt antal röster:(26)

    49 kr89 kr