Cover von Systems and software verification opens in new tab

Systems and software verification

model-checking techniques and tools
Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: BERARD BEATRICE Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Search for this author
Year: 2001
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-41523-8
Description: XIII, 190 S.
Participating parties: Search for this character Berard, Beatrice; Bidoit, Michel; Finkel, Alain; MacKenzie, Pierre; Petit, Antoine
Media group: MONOGRAPHIE