Formal methods View on Open Library

Formal methods

by Paul Boca , J. P. Bowen , J. I. Siddiqi

No reviews yet
First published: 2009 1 language ISBN: 9781848827363
Subjects
Formal methods (Computer science) Computer software, development Software engineering System design

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Paul Boca

Abstract State Machines, B and Z

Abstract State Machines, B and Z

You Might Also Like

More in Formal methods (Comp...
Software Specification Methods

Software Specification Methods

Henri Habrias
Communicating embedded systems

Communicating embedded systems

Claude Jard
Formal methods for components and objects

Formal methods for components and object...

Frank S. de Boer
Extension Innovation Method

Extension Innovation Method

Chunyan Yang
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distrib...

Michael Alexander