Cover von Tools and algorithms for the construction and analysis of systems opens in new tab

Tools and algorithms for the construction and analysis of systems

12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3920
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on tools and algorithms for the construction and analysis of systems <12, 2006, Vienna>

Details

Search for this author
Year: 2006
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-33056-9
Description: XVI, 506 S.
Series: Lecture notes in computer science; 3920
Participating parties: Search for this character Hermanns, Holger; Palsberg, Jens
Media group: MONOGRAPHIE