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

Rigorous Development of Complex Fault-Tolerant Systems

Name: Rigorous Development of Complex Fault-Tolerant Systems
Brand: Springer, Berlin
SKU: 01564952
Price: 20356 HUF
Availability: InStock
Author: Michael Butler
ISBN: 9783540482659

Language

English

Book Paperback

Libristo code: 01564952

Publishers Springer, Berlin, November 2005

Many software systems have reached a level of complication, mainly because of their size, heterogene... Full description

Libristo code: 01564952

136 b

20 356 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mindset Carol S. Dweck

Paperback

6 150 Ft

Angličtina pro jazykové školy II. Poslechová cvičení Stella Nangonová

Paperback

1 206 Ft

Metadovednosti a (ne)vědomí v psychoterapii Petr Mikoška

Sheet

2 342 Ft

Geografie výsledků parlamentních voleb: prostorové vzorce volebního chování v Česku 1992-2013 collegium

Paperback

3 856 Ft

Mapy Aleksandra Mizielińska

Hardback

7 366 Ft

Atlas zemí, které neexistují Nick Middleton

Paperback

7 158 Ft

Matematický vesmír Max Tegmark

Hardback

6 509 Ft

Praktikum morfometrických analýz reliéfu Marek Křížek

Paperback

4 769 Ft

Olejárová encyklopédia matematiky Marián Olejár

Paperback

5 639 Ft

Olejárová encyklopédia logiky Marián Olejár

Hardback

7 082 Ft

Průvodce světem plastikového modeláře 2 Jakub Vilingr

Paperback

3 676 Ft

Analytické filozofické skúmania Pavel Cmorej

Paperback

2 895 Ft

Genetika E. Kočárek

Paperback

6 902 Ft

Nový přehled biologie Stanislav Rosypal

Hardback

16 023 Ft

Evoluční tání aneb o původu rodů Jaroslav Flegr

Hardback

4 243 Ft

Cvičebnice latiny Vlasta Seinerová

Paperback

2 309 Ft

Genetika Jan Šmarda

Paperback

3 468 Ft

Biologie člověka 1 E. Kočárek

Paperback

7 035 Ft

Pozemské mocnosti Michael Burleigh

Book

7 351 Ft

Balet nás baví Jiří Votruba

Hardback

8 444 Ft

Wiem, dlaczego w klatce śpiewa ptak Maya Angelou

Paperback

3 302 Ft

Le dessin de l'enfant - Jeu langage thérapie Greig

Paperback

6 632 Ft

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.§This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.