ISBN 9781402006074,Proof and System-Reliability

Proof and System-Reliability

Rs11597

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9781402006074
Check delivery information
 
ISBN 9781402006074
Publisher

Ingram Publisher Services

Publication Year 2002
ISBN-13

ISBN 9781402006074

ISBN-10 1402006071
Binding

Hardback

Number of Pages 428 Pages
Subject

Mathematical logic

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. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. It also has hints to technical issues.
Scroll