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

8th international conference, TACAS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2280
Media group: MONOGRAPHIE
available

Copies

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

Content

International conference on tools and algorithms for the construction and analysis of systems <8, 2002, Grenoble>

Details

Search for this author
Year: 2002
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-43419-4
Description: XIII, 482 S.
Series: Lecture notes in computer science; 2280
Participating parties: Search for this character Katoen, Joost-Pieter; Stevens, Perdita
Media group: MONOGRAPHIE