Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Development of a Network-Centric RTOS

Name: Formal Development of a Network-Centric RTOS
Brand: Springer-Verlag New York Inc.
SKU: 01424597
Price: 146.88 EUR
Availability: InStock
Author: Eric Verhulst
ISBN: 9781441997357

Software Engineering for Reliable Embedded Systems

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 01424597

Nakladnici Springer-Verlag New York Inc., kolovoz 2011

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. O... Cijeli opis

Libristo kod: 01424597

356 b

146.88 €

Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Moglo bi vas zanimati i

Intelligent Techniques and Tools for Novel System Architectures Panagiotis Chountas

Meki uvez

205.62 €

Chemical Signals in Vertebrates Dietland Muller-Schwarze

Meki uvez

102.90 €

Behavioral Sport Psychology JAMES K. LUISELLI

Meki uvez

90.57 €

Immense World Ed Yong

Meki uvez

12.22 €

The Box of Emotions Tiffany Watt Smith

Karte

15.96 €

Fluent Python Luciano Ramalho

Meki uvez

60.44 €

Wandering Witch: The Journey of Elaina, Vol. 3 (light novel) Nicole Wilder

Meki uvez

12.12 €

Dragon Age: The First Five Graphic Novels David Gaider

Meki uvez

21.32 €

Vincent van Gogh: Starry Night over the Rhone (Foiled Blank Journal) Flame Tree Studio

Rokovnik

10.91 €

Midnight Library Matt Haig

Tvrdi uvez

18.79 €

Pokemon Crochet Sabrina Somers

Meki uvez

15.76 €

The Love Poems of Rumi Rumi

Tvrdi uvez

10.81 €

Look At Me I'm Learning Polish Kleverton Monteiro

Meki uvez

10.81 €

Drive Your Plow Over the Bones of the Dead Olga Tokarczuk

Meki uvez

10.81 €

Soul Color: A Ten Week Watercolor Painting Course to Cultivate Mindfulness and Creativity BURLEIGH EMMA

Meki uvez

12.63 €

Practice Makes Perfect: Basic Spanish, Premium Third Edition Dorothy Richmond

Meki uvez

12.83 €

Classmates: Dou kyu sei, Vol. 1 Asumiko Nakamura

Meki uvez

10.81 €

Set Of 3 Moleskine Extra Large Plain Cahier Journals Moleskine

Rokovnik

19.20 €

Demon Slayer: Kimetsu no Yaiba, Vol. 6 Koyoharu Gotouge

Meki uvez

9.70 €

Bleach, Vol. 74 Tite Kubo

Meki uvez

9.90 €

Harry Potter: The Postcard Collection Insight Editions

Plakat

17.48 €

Why We Sleep Matthew Walker

Meki uvez

13.74 €

Calligraphic Drawing Schin Loong

Meki uvez

20.71 €

Alien Covenant: David's Drawings Dane Hallett

Tvrdi uvez

37.70 €

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.