Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods for Industrial Critical Systems - A Survey of Applications

Name: Formal Methods for Industrial Critical Systems - A Survey of Applications
Brand: John Wiley & Sons Inc
SKU: 01389018
Price: 85.79 EUR
Availability: InStock
Author: Stefania Gnesi
ISBN: 9780470876183

Stefania Gnesi

Tiziana Margaria

Lingua

Inglese

Libro In brossura

Codice Libristo: 01389018

Casa editrice John Wiley & Sons Inc, marzo 2013

Today, formal methods are widely recognized as an essential step in the design process of industrial... Descrizione completa

Codice Libristo: 01389018

210 b

85.79 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Cäsar Georg Veith

In brossura

14.69 €

LES ROYAUMES DE TIKETONE MORIN MELISSA

Rigido

19.49 €

Les Inrockuptibles N°22 : Sexe 2023 - juillet-août 2023

In brossura

14.19 €

One Piece: Red - 14. Film - DVD

DVD

14.79 €

Kresky dočasné tetování - Kočka v kapse

binding.

8.99 €

Évaluation du marché des centres commerciaux dans la commune de Sol Plaatje Barend Frederick Botma

In brossura

27.99 €

LA PONDERACION Y LA SUBSUNCION EN LA FUNCION JURISDICCIONAL ZENTENO MEZA

In brossura

31.09 €

DEFICIENCES MENTALES - LE DEVENIR ADULTE GOMEZ JEAN-FRANÇOIS

In brossura

32.09 €

Le procès interdit de Marine Le Pen Laurent Fargues

In brossura

16.69 €

Strategia edukacji kooperatywnej z przykładami realizacji Meger Zbigniew

In brossura

16.19 €

Kurzgefasste Griechische Schulgrammatik (1894) Adolf Kaegi

Rigido

33.89 €

Reisebilder Aus Schottland ... Mit ... Holzschnitten, Etc. Alexander Baumgartner

In brossura

21.09 €

Relation de l'Islande LA PEYRERE-I

In brossura

14.69 €

Epocha objavov Ian Goldin

Rigido

12.89 €

Fragments d'Une Chronique Inedite Relatifs Aux Evenements Militaires Arrives En Basse-Normandie DELISLE-L

In brossura

11.49 €

Sammlung von anatomischen Aufsätzen und Bemerkungen Johann Schneider

In brossura

14.89 €

Biene und ihre Zucht August Berlepsch

In brossura

31.09 €

Des Religions Et Des Hommes Collective

In brossura

21.39 €

Agnes Martin Nancy Princenthal

Rigido

28.79 €

Experimentelle Untersuchungen zur Technologie der Kugelherstellung Rolf Rascher

In brossura

67.89 €

Lesen im Wandel der Multimediageneration Maike Alberti

In brossura

37.39 €

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.§Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.