Cover Image
Read Now

Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Bibliographic Details
Main Author: Garavel, Hubert
Other Authors: Hatcliff, John
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2003
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:9783540365778
978-3-540-00898-9

Similar Items