Cover Image
Read Now

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Bibliographic Details
Other Authors: Grumberg, Orna (Editor), Huth, Michael (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:1st ed. 2007
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Algorithms
Computer Networks 
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Physical Description:XX, 740 p online resource
ISBN:9783540712091

Similar Items