Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Engineering Methods and Tools for Software Safety and Security

Engineering Methods and Tools for Software Safety and Security (Hardback)

£114.00
To Order. Estimated despatch in 1-3 weeks.
Email me when back in stock

Synopsis

As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems. Information safety and security of software systems depend on the quality and excellent understanding of its functioning. The last few years have shown a renewed interest in formally specifying and verifying software and its role in engineering methods. Within the last decade, interactive program verifiers have been applied to control software and other critical applications. Software model checking has made strides into industrial applications and a number of research tools for bug detection have been built using automatic program-verification technology.

Such solutions are high-level programming methods which provide strategies to ensure information security in complex software systems by automatically verified correctness. Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides an in-depth presentation of state-of-the-art topics on how to meet such challenges covering both theoretical foundations and industrial practice.

Computing & ITComputer security Publisher: IOS Press Publication Date: 01/01/2009 ISBN-13: 9781586039769  Details: Type: Hardback Format: Books
Availability: To Order. Estimated despatch in 1-3 weeks.  

More books by M. Broy

More books by W. Sitou

More books by T. Hoare

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Security in the Digital World: For ...
(Paperback)
Graham Day
 
 
£12.95
 

Currently out of stock

The Politics of Data Transfer:...
(Hardback)
Yuko Suda
 
 
£105.00
 
Supply Chain Risk Management: ...
(Paperback)
Ken Sigler; Dan Shoemaker; Anne Kohnke
 
 
£53.99
 
Serious Cryptography: A Practical...
(Paperback)
Jean-Philippe Aumasson
 
 
£41.99
 

Currently out of stock

Latest Blog
#FoylesFive: The Last Jedi
12/12/2017

As Star Wars: The Last Jedi drops out of hyperspace and into a cinema near you, Matt from our Web Team gives us his selection of the best Last Jedi books.

#FoylesFive: Foreign Languages Part One
08/12/2017

Our knowledgeable and fabulous Languages Department have put together a great selection of books, to help share the magic of reading in every language. First up we have books in Italian, Portugese and Swedish.

Crime, Responsibility and Morality: The Impact of Siberian Exile on Fyodor Dostoevsky
08/12/2017

Daniel describes how Siberian exile was the great writer Fyodor Dostoevsky’s foundational experience as an author and thinker.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd