Cover Image
Read Now

Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Bibliographic Details
Main Author: Katoen, Joost-Pieter
Other Authors: Stevens, Perdita
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
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:9783540460022
978-3-540-43419-1

Similar Items