Cover Image
Read Now

Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Bibliographic Details
Main Author: Margaria, Tiziana
Other Authors: Yi, Wang
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Computer Software
Logic Design
Software Engineering
Computer Science
Algorithm Analysis And Problem Complexity
Logics And Meanings Of Programs
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540453192
978-3-540-41865-8

Similar Items