Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science
Author:   Dieter Hutter ,  Werner Stephan ,  Paolo Traverse ,  Markus Ullmann
Publisher:   Springer
ISBN:  

9781280956775


Pages:   376
Publication Date:   01 January 1999
Format:   Undefined
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $234.51 Quantity:  
Add to Cart

Share |

Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science


Overview

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Full Product Details

Author:   Dieter Hutter ,  Werner Stephan ,  Paolo Traverse ,  Markus Ullmann
Publisher:   Springer
Imprint:   Springer
ISBN:  

9781280956775


ISBN 10:   1280956771
Pages:   376
Publication Date:   01 January 1999
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now