Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Rigorous Development of Complex Fault-Tolerant Systems

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

Limba

engleză

Carte Carte broșată

Codul Libristo: 01564952

Editura Springer, Berlin, noiembrie 2005

Many software systems have reached a level of complication, mainly because of their size, heterogene... Descrierea completă

Codul Libristo: 01564952

125 b

273.99 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Mindset Carol S. Dweck

Carte broșată

80.75 lei

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

Foaie

34.20 lei

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

Carte broșată

69.12 lei

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

Carte broșată

56.37 lei

Matematický vesmír Max Tegmark

Copertă tare

95.20 lei

Atlas zemí, které neexistují Nick Middleton

Carte broșată

104.63 lei

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

Carte broșată

16.34 lei

Mapy Aleksandra Mizielińska

Copertă tare

113.56 lei

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

Copertă tare

103.53 lei

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

Carte broșată

81.76 lei

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

Carte broșată

55.07 lei

Analytické filozofické skúmania Pavel Cmorej

Carte broșată

41.63 lei

Cvičebnice latiny Vlasta Seinerová

Carte broșată

31.59 lei

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

Copertă tare

66.91 lei

Genetika Jan Šmarda

Carte broșată

47.14 lei

Genetika E. Kočárek

Carte broșată

102.83 lei

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

Carte broșată

105.03 lei

Nový přehled biologie Stanislav Rosypal

Copertă tare

239.07 lei

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.