Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others] (eds.)
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 too...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©1999.
|
| Series: | Lecture notes in computer science ;
1641. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67 I59 1998
|
|---|---|
| QA76.9.F67 I59 1998 | Available |