Modern Formal Methods and Applications
Author:   Hossam A. Gabbar
Publisher:   Springer-Verlag New York Inc.
Edition:   2006 ed.
ISBN:  

9781402042225


Pages:   197
Publication Date:   22 December 2005
Format:   Hardback
Availability:   Awaiting stock   Availability explained
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.

Our Price $393.36 Quantity:  
Add to Cart

Share |

Modern Formal Methods and Applications


Add your own review!

Overview

Full Product Details

Author:   Hossam A. Gabbar
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2006 ed.
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   0.494kg
ISBN:  

9781402042225


ISBN 10:   1402042221
Pages:   197
Publication Date:   22 December 2005
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
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

Fundamentals of Formal Methods.- Formal Methods for Process Systems Engineering.- Formal Methods for Production Chain Management.- Formalizing Waste Management.- Formal Methods for Modeling Biological Regulatory Networks.- Formal Methods for Specifying and Analyzing Complex Software Systems.- An Algebraic Approach to Hardware Compilation.- Formal Methods for UML.

Reviews

Author Information

The editor is a member of the following societies/associations: SICE, IEEE-SMC, Japan Society of Chemical Engineering, Japan Society of Safety Engineers, Canadian Society of Chemical Engineering, AIChE, IEE. He serves on the board of PSE, process systems engineering (Japan) and JSSE.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now