Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Formal Methods : State of the Art and New Directions - Author

Formal Methods

State of the Art and New Directions

By: Author

eText | 4 December 2009

At a Glance

eText

$209.00

or 4 interest-free payments of $52.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.

This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesSoftware EngineeringComputer ScienceSystems Analysis & DesignMathematicsMathematical FoundationMathematical LogicMathematical Theory of ComputationCompilers & Interpreters

Other Editions and Formats

Paperback

Published: 20th October 2014

View Product

More in Software Engineering

The End of Leadership - Barbara Kellerman

eBOOK

The End of Leadership

eBook

$21.99

The Debugging Handbook - Johannes Kuhlmann

eBOOK

The Debugging Handbook

eBook

RRP $67.55

$54.99

19%
OFF

This product is categorised by