Cover von System verification opens in new tab

System verification

special issue
Search for this author
Year: 1989
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 5. 1989, 4
Media group: SPECIAL ISSUE
available

Copies

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

Details

Search for this author
Year: 1989
Publisher: Dordrecht, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
Description: S. 409-544
Series: Journal of automated reasoning : 5. 1989, 4
Participating parties: Search for this character Moore, J. Strother
Media group: SPECIAL ISSUE