Overview

Full Product Details

Author:   Ingo Claben (.) ,  Hartmut Ehrig (Technical Univ Of Berlin, Germany) ,  Dietmar Wolz (.) ,  Dietmar Wolz (.)
Publisher:   World Scientific Publishing Co Pte Ltd
Imprint:   World Scientific Publishing Co Pte Ltd
Volume:   1
Dimensions:   Width: 16.20cm , Height: 1.90cm , Length: 22.00cm
Weight:   0.485kg
ISBN:  

9789810212278

ISBN 10:   9810212275
Pages:   256
Publication Date:   01 November 1993
Audience:   College/higher education ,  Professional and scholarly ,  General/trade ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock  
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

Algebraic specfication as formal method for software development; ACT one - a language for parameterized specification; ACT two - a language for module specification; the ACT environment. Appendix: algebraic concepts and operational semantics.

Reviews

"""The book is well written and informative ..."" Markus Wolf Computing Reviews"

""The book is well written and informative ..."" Markus Wolf Computing Reviews

The book is well written and informative ... Markus Wolf Computing Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions