Cover von Applied formal methods opens in new tab

Applied formal methods

international workshop on current trends in applied formal methods : Boppard, Germany, October 7 - 9, 1998 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1641
Media group: MONOGRAPHIE
available

Copies

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

Content

International workshop on current trends in applied formal methods <1998, Boppard>

Details

Search for this author
Year: 1999
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-66462-9
Description: XI, 376 S.
Series: Lecture notes in computer science; 1641
Participating parties: Search for this character Hutter, Dieter; Stephan, Werner; Traverso, Paolo; Ullmann, Markus
Parallel title: FM-Trends 98
Media group: MONOGRAPHIE