Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal Development of a Network-Centric RTOS Eric Verhulst
Libristo-code: 01424597
Uitgeverij Springer-Verlag New York Inc., augustus 2011
This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. O... Volledige beschrijving
? points 373 b
154.32 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Dit vind je misschien ook interessant

Intelligent Techniques and Tools for Novel System Architectures Panagiotis Chountas / Boek Gebonden (paperback)
common.buy 205.70 €
Chemical Signals in Vertebrates Dietland Muller-Schwarze / Boek Gebonden (paperback)
common.buy 102.95 €
Behavioral Sport Psychology JAMES K. LUISELLI / Boek Gebonden (paperback)
common.buy 90.61 €
TOP
Immense World Ed Yong / Boek Gebonden (paperback)
common.buy 12.23 €
TOP
The Box of Emotions Tiffany Watt Smith / Drukwerk Speelkaarten
common.buy 17.99 €
TOP
Fluent Python Luciano Ramalho / Boek Gebonden (paperback)
common.buy 60.47 €
TOP
Wandering Witch: The Journey of Elaina, Vol. 3 (light novel) Nicole Wilder / Boek Gebonden (paperback)
common.buy 12.13 €
TOP
Dragon Age: The First Five Graphic Novels David Gaider / Boek Gebonden (paperback)
common.buy 24.36 €
Vincent van Gogh: Starry Night over the Rhone (Foiled Blank Journal) Flame Tree Studio / Kalender/agenda Agenda
common.buy 10.91 €
TOP
Midnight Library Matt Haig / Boek Gebonden (harde band)
common.buy 18.80 €
TOP
Pokemon Crochet Sabrina Somers / Boek Gebonden (paperback)
common.buy 15.77 €
TOP
The Love Poems of Rumi Rumi / Boek Gebonden (harde band)
common.buy 11.52 €
Look At Me I'm Learning Polish Kleverton Monteiro / Boek Gebonden (paperback)
common.buy 10.81 €
TOP
Drive Your Plow Over the Bones of the Dead Olga Tokarczuk / Boek Gebonden (paperback)
common.buy 11.52 €
TOP
Soul Color: A Ten Week Watercolor Painting Course to Cultivate Mindfulness and Creativity BURLEIGH EMMA / Boek Gebonden (paperback)
common.buy 14.45 €
TOP
Practice Makes Perfect: Basic Spanish, Premium Third Edition Dorothy Richmond / Boek Gebonden (paperback)
common.buy 13.74 €
TOP Wordt verwacht
Classmates: Dou kyu sei, Vol. 1 Asumiko Nakamura / Boek Gebonden (paperback)
common.buy 11.52 €
TOP
Set Of 3 Moleskine Extra Large Plain Cahier Journals Moleskine / Kalender/agenda Agenda
common.buy 19.21 €
TOP
Demon Slayer: Kimetsu no Yaiba, Vol. 6 Koyoharu Gotouge / Boek Gebonden (paperback)
common.buy 10.41 €
Bleach, Vol. 74 Tite Kubo / Boek Gebonden (paperback)
common.buy 10.61 €
TOP
Harry Potter: The Postcard Collection Insight Editions / Drukwerk Poster
common.buy 17.49 €
TOP
Why We Sleep Matthew Walker / Boek Gebonden (paperback)
common.buy 13.74 €
TOP
Calligraphic Drawing Schin Loong / Boek Gebonden (paperback)
common.buy 20.72 €
TOP
Alien Covenant: David's Drawings Dane Hallett / Boek Gebonden (harde band)
common.buy 37.71 €

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering.§Using the formal methods described in this book produces results that are more reliable and higher performance. This methodology is unique because it covers the full range of product development, from requirements and specifications to the final execution platform. It is compatible with safety related engineering standards, such as IEC61508.§Uses formal methods to develop Network-centric Real-time Operating SystemsUnified Semantics provides a solid base for model driven systems development and can be tuned to an application-specific, concurrent programming paradigmMethods presented enable model-driven, high-reliability, high-performance software & systems engineeringCompatible with International Electrotechnical Commission (IEC) 61508, the standard governing functional safety of programmable electronic systems.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Development of a Network-Centric RTOS
Auteur Eric Verhulst, Raymond T. Boute, José M. S. Faria, Bernhard H. C. Sputh
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2011
Aantal pagina's 219
EAN 9781441997357
ISBN 1441997350
Libristo-code 01424597
Uitgeverij Springer-Verlag New York Inc.
Gewicht 517
Afmetingen 155 x 235 x 20

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Techniek: algemeen
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Technisch ontwerp
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?