Text

Tools and Algorithms for the construction and Analysys 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 2003, Proceeding

---

Availability

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

Berlin : Springer., 2003

Collation

-

Language

English

ISBN/ISSN

3540008985

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

-

Edition

1th

Subject(s)

Computer

Specific Detail Info

-

Statement of Responsibility

LNCS2619

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment