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

---

التوفّر

معلومات بالتفصيل

عنوان السلسلة

Lecture Notes in Computer Science

رقم الطلب

-

ناشر

Berlin : Springer., 2003

التوريق

-

اللغة

English

ردمك/ردمد

3540008985

تَصْنِيفٌ

NONE

نوع المحتويات

-

نوع الوسائط

-

نوع الناقل

-

الإصدارة

1th

موضوع

Computer

تفاصيل محددة

-

بيان المسؤولية

LNCS2619

نسخ أخرى/مرتبطة

ملف مرفق

التعليقات

---

You must be logged in to post a comment