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.
ISSN:	0302-9743.

Նմանատիպ նյութեր