Third international workshop on formal methods for industrial critical systems : Amsterdam, the Netherlands, May 25-26, 1998 (Book, 1998) [WorldCat.org]
skip to content
Third international workshop on formal methods for industrial critical systems : Amsterdam, the Netherlands, May 25-26, 1998 Preview this item
ClosePreview this item
Checking...

Third international workshop on formal methods for industrial critical systems : Amsterdam, the Netherlands, May 25-26, 1998

Author: Jan Friso Groote; Sebastiaan Pascal Luttik; Jacobus Johannes van Wamel
Publisher: [S.l.] : [s.n.], cop. 1998.
Edition/Format:   Print book : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Congressen (vorm)
Document Type: Book
All Authors / Contributors: Jan Friso Groote; Sebastiaan Pascal Luttik; Jacobus Johannes van Wamel
ISBN: 9061964806 9789061964803
OCLC Number: 66466242
Notes: Rugtitel: FMICS '98.
Description: 370 p. : ill. ; 24 cm
Other Titles: International workshop on formal methods for industrial critical systems 3
FMICS '98
FMICS ninety-eight
Responsibility: Jan Friso Groote, Bas Luttik, Jos van Wamel (ed.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.