Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 39788 HUF
Availability: InStock
Author: Stefania Gnesi
ISBN: 9780470876183

Stefania Gnesi

Tiziana Margaria

Language

English

Book Paperback

Libristo code: 01389018

Publishers John Wiley & Sons Inc, March 2013

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

Libristo code: 01389018

265 b

39 788 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

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

binding.

3 812 Ft

One Piece: Red - 14. Film - DVD

DVD

6 487 Ft

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

Paperback

6 245 Ft

Noce zarazy Pamuk Orhan

Hardback

6 638 Ft

LES ROYAUMES DE TIKETONE MORIN MELISSA

Hardback

8 632 Ft

MUJER VIDA LIBERTAD Marjane Satrapi

Book

10 706 Ft

Cäsar Georg Veith

Paperback

6 397 Ft

Sammlung von anatomischen Aufsätzen und Bemerkungen Johann Schneider

Paperback

6 411 Ft

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

Paperback

12 761 Ft

Moedium RENÉE ZACHARIOU

Paperback

8 618 Ft

Clemencia Matta

Paperback

4 129 Ft

Lesen im Wandel der Multimediageneration Maike Alberti

Paperback

17 027 Ft

Experimentelle Untersuchungen zur Technologie der Kugelherstellung Rolf Rascher

Paperback

30 422 Ft

Agnes Martin Nancy Princenthal

Hardback

12 491 Ft

Des Religions Et Des Hommes Collective

Paperback

9 461 Ft

Resume Historique de l'Exploration A La Recherche Des Grands Lacs de l'Afrique Orientale, 1857-1858 Malte-Brun-V-A

Paperback

5 227 Ft

Biene und ihre Zucht August Berlepsch

Paperback

14 172 Ft

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

Paperback

5 346 Ft

Epocha objavov Ian Goldin

Hardback

5 914 Ft

LA PONDERACION Y LA SUBSUNCION EN LA FUNCION JURISDICCIONAL ZENTENO MEZA

Paperback

13 845 Ft

Relation de l'Islande LA PEYRERE-I

Paperback

6 833 Ft

Stepping Stones Hugh Colledge

Sheet music

7 567 Ft

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

Paperback

9 806 Ft

No Future Bohumil Kartous

Hardback

3 665 Ft

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.