Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...

Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: TACAS
التنسيق: وقائع المؤتمر
اللغة:English
منشور في: Berlin ; New York : Springer, c1995-
سلاسل:Lecture notes in computer science,
الموضوعات:
System design > Congresses.
Computer software > Development > Congresses.
Electronic data processing > Distributed processing > Congresses.
الوصف
منشور في:1 (May 19-20, 1995)-
وصف المادة:Conference name includes year (i.e., First International Workshop is TACAS '95, etc.); subtitle varies slightly.
وصف مادي:v. : ill. ; 24 cm.
تواتر النشر:Annual.
تدمد:0302-9743.

مواد مشابهة