Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 2

Bibliographic Details
Main Author: Jensen, Kurt
Other Authors: Podelski, Andreas
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540212997
978-3-540-21299-7