Theory and Formal Methods of Computing 94 View on Open Library

Theory and Formal Methods of Computing 94

by England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate

No reviews yet
First published: 1995 1 language ISBN: 186094003X
Subjects
Formal methods (Computer science) Congresses Computer science

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

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