Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
Author:   Chris Hankin (Imperial College London, Uk) ,  I Mackie (Ecole Polytechnique, France) ,  Rajagopal Nagarajan (Univ Of Warwick, Uk) ,  I. Mackie
Publisher:   Imperial College Press
ISBN:  

9781860940033


Pages:   444
Publication Date:   01 October 1995
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $422.40 Quantity:  
Add to Cart

Share |

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop


Overview

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.

Full Product Details

Author:   Chris Hankin (Imperial College London, Uk) ,  I Mackie (Ecole Polytechnique, France) ,  Rajagopal Nagarajan (Univ Of Warwick, Uk) ,  I. Mackie
Publisher:   Imperial College Press
Imprint:   Imperial College Press
ISBN:  

9781860940033


ISBN 10:   186094003
Pages:   444
Publication Date:   01 October 1995
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now