Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Compositional Verification of Concurrent and Real-Time Systems

Name: Compositional Verification of Concurrent and Real-Time Systems
Brand: Springer-Verlag New York Inc.
SKU: 01417718
Price: 119.58 EUR
Availability: InStock
Author: Eric Y.T. Juan
ISBN: 9781402070259

Eric Y.T. Juan

Jeffrey J.P. Tsai

Език

Английски език

Книга С твърди корици

Код Либристо: 01417718

Издателство Springer-Verlag New York Inc., април 2002

With the rapid growth of networking and high-computing power, the demand for large-scale and complex... Цялото описание

Код Либристо: 01417718

289 b

119.58 €

233.87 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Procvičujeme si Slovní druhy neuvedený autor

С меки корици

1.96 € 3.83 лв

mandarini di Ciaculli. Una saga familiare nella Sicilia del dopoguerra Roberto Tagliavia

С меки корици

41.46 € 81.09 лв

L'Expression écrite - Repères pratiques n° 16 Christophe Desaintghislain

С меки корици

18.50 € 36.19 лв

Harry Potter 3: Harry Potter a väzeň z Azkabanu, 5., revidované vydanie Joanne K. Rowling

С твърди корици

17.99 € 35.18 лв

Jubilate et bibite. Studie k antice a její recepci v evropské kultuře. Ad honorem Jan Bažant Daniela Čadková

Лист

11.42 € 22.34 лв

Contabilidad Regional de España. Base 1986. Serie 1991-1996

Книга

57.28 € 112.03 лв

Intersezioni sacre Eze Kingsley Ekele

С меки корици

57.49 € 112.43 лв

Zwangserziehung Minderjahriger Und Der Zur Zeit Hieruber Vorliegende Preussische Gesetzentwurf P F Aschrott

С твърди корици

114.92 € 224.77 лв

DÈJAME CONTARTE GUNTER M. ZIEGLER

С твърди корици

18.81 € 36.80 лв

Fendt 210 (Puzzle) Günther Geiger

Игра

32.36 € 63.29 лв

L'albero Alfabeto Leo Lionni

С меки корици

8.06 € 15.76 лв

Bases biológicas de las psicopatologías NAVARRO HUMANES

С меки корици

38.25 € 74.82 лв

Diccionario de películas: El cine de ciencia ficción RAMON ALFONSO

С меки корици

33.91 € 66.32 лв

L'Ami de la Maison, Roman de Moeurs. Tome 2 Maximilien Perrin

С меки корици

23.93 € 46.81 лв

Regieren in Der Bundesrepublik III Hans-Herman Hartwich

С меки корици

55.88 € 109.30 лв

interne Differenziertheit des brasilianischen Portugiesisch Cecilia Timoteo

С меки корици

17.11 € 33.46 лв

Giacomo Joyce James Joyce

С твърди корици

5.63 € 11.01 лв

Dobrovoľne nasilu Pia Dušak

С меки корици

9.77 € 19.10 лв

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. It is essential, therefore, that software used for safety-critical systems preserves high assurance properties.§Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. The book focuses on the efficient analysis of large-scale systems based on the concept of "compositional verification" of modules.§Compositional Verification of Concurrent and Real-Time Systems is an excellent resource for student and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. The application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. The analysis models used are Multiset Labeled Transition Systems and Time Petri Nets.