Cover von FME 93 opens in new tab

FME 93

industrial-strength formal methods : first international symposium of formal methods Europe : Odense, Denmark, April 19 - 23, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 670
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 670 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International symposium of formal methods Europe <1, 1993, Odense>

Details

Search for this author
Year: 1993
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-387-56662-7
ISBN (2nd): 3-540-56662-7
Description: XI, 689 S.
Series: Lecture notes in computer science; 670
Participating parties: Search for this character Woodcock, James C. P.; Larsen, Peter Gorm
Media group: MONOGRAPHIE