Formal Methods for Industrial Critical Systems

שנה

2011

שפה

English

סדרה

Lecture Notes in Computer Science -- 6959

הוצאה

Springer-Verlag GmbH Berlin Heidelberg

מהדורות

1

ISBN

9783642244308

מקור הנתונים: Wikidata