Formal Methods

State of the Art and New Directions

By: Paul Boca (Editor), Jonathan P. Bowen (Editor), Jawed Siddiqi (Editor)

Write A Review

Hardcover | 22 December 2009

At a Glance

Hardcover
300 Pages

Dimensions(cm)
24.77 x 15.88 x 2.54

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution. 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Programming & Software Development Software Engineering Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Compilers & Interpreters

Other Editions and Formats

Paperback

Published: 20th October 2014

View Product

Domain Engineering	p. 1
Program Verification and System Dependability	p. 43
The Abstract State Machines Method for High-Level System Design and Analysis	p. 79
Applications and Methodology of ?Z	p. 117
The Computer Ate My Vote	p. 147
Formal Methods for Biochemical Signalling Pathways	p. 185
Separation Logic and Concurrency	p. 217
Programming Language Description Languages	p. 249
Table of Contents provided by Ingram. All Rights Reserved.

Formal Methods

State of the Art and New Directions

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

A Retargetable C Compiler

Design and Implementation

Optimizing Compilers for Modern Architectures

A Dependence-Based Approach

Complete Reference

The Complete Reference

The Morgan Kaufmann Software Engineering and Programming

The Morgan Kaufmann Series in Software Engineering and Programming

Programming Language Fundamentals by Example

This product is categorised by