Cover von Computer aided verification opens in new tab

Computer aided verification

3rd international workshop : Aalborg, Denmark, July 1991 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 575
Media group: MONOGRAPHIE
available

Copies

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

Content

International workshop on computer aided verification <3, 1991, Aalborg>

Details

Search for this author
Year: 1992
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-55179-4
ISBN (2nd): 0-387-55179-4
Description: X, 487 S.
Series: Lecture notes in computer science; 575
Participating parties: Search for this character Larsen, Kim Guldstrand; Skou, Arne
Parallel title: CAV 1991
Media group: MONOGRAPHIE