Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /

Bibliographic Details
Corporate Author: TAP 2009 Eidgenössische Technische Hochschule Zürich, Switzerland
Other Authors: Dubois, Catherine
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2009]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5668.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.76.T48 T37 2009
 
Call Number Status Get It
QA76.76.T48 T37 2009 Available