Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.
State of the Art and New Directions
Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.
- ISBN:
- 9781848827356
- 9781848827356
- Category:
- Software Engineering
- Format:
- Hardback
- Publication Date:
- 22-12-2009
- Language:
- English
- Publisher:
- Springer London Ltd
- Country of origin:
- United Kingdom
- Pages:
- 273
- Dimensions (mm):
- 235x155x17mm
- Weight:
- 1.32kg
This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
Click on Save to My Library / Lists
Click on My Library / My Lists and I will take you there
Share This Book: