Articles liés à Proof and System-Reliability

9781402006081: Proof and System-Reliability
Couverture souple
ISBN 10 : 140200608X ISBN 13 : 9781402006081
Editeur : Springer, 2013

Synopsis

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
140200608X
ISBN 13 
9781402006081
Reliure
Broché
Nombre de pages
432
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9781402006074: Proof and System-Reliability

Edition présentée

ISBN 10 :  1402006071 ISBN 13 :  9781402006074
Editeur : Kluwer Academic Publishers, 2002
Couverture rigide