Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /

Bibliographic Details
Corporate Authors: TACAS (Conference) Edinburgh, Scotland), SpringerLink (Online service), ETAPS (Conference)
Other Authors: Halbwachs, Nicolas, Zuck, Lenore D., 1958-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2005.
Series:Lecture notes in computer science ; 3440.
Subjects:
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA76.9.S88 T33 2005eb
 
Call Number Status Get It
QA76.9.S88 T33 2005eb Available