Author :
Publisher :
Total Pages :
Release : 1982
ISBN 10 : OCLC:232894743
ISBN 13 :
Language : EN, FR, DE, ES & NL

Book Description:


RELATED BOOKS:
החוזרים בתשובה
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1982 - Publisher:

Books about החוזרים בתשובה
Applied Formal Methods - FM-Trends 98
Language: en
Pages: 384
Authors: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Categories: Computers
Type: BOOK - Published: 1999-08-25 - Publisher: Springer

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears
Applied Formal Methods - FM-Trends 98
Language: en
Pages: 384
Authors: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Categories: Computers
Type: BOOK - Published: 2007-07-21 - Publisher: Springer

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears
Applied Formal Methods - FM-Trends 98
Language: en
Pages: 384
Authors: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Categories: Computers
Type: BOOK - Published: 2007-07-21 - Publisher: Springer

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears
FM'99 - Formal Methods
Language: en
Pages: 942
Authors: Jeannette M. Wing, Jim Woodcook, Jim Davies
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World