Cover von Computer-Aided Reasoning opens in new tab

Computer-Aided Reasoning

ACL2 Case Studies
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Advances in formal methods; 4
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: KAUFMANN MATT Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Search for this author
Year: 2000
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-0-7923-7849-5
ISBN (2nd): 0-7923-7849-0
Description: XV, 337 S.
Series: Advances in formal methods; 4
Participating parties: Search for this character Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother
Media group: MONOGRAPHIE