Počet záznamů: 1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
- 1.
SYSNO 0436568 Název Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I Tvůrce(i) Margaria, T. (ed.)
Steffen, B. (ed.)Vyd. údaje Berlin: Springer, 2014 Edice Lecture Notes in Computer Science , 8802 ISBN 978-3-662-45233-2 ISSN 0302-9743 Druh dok. BXXS Země vyd. DE Katal.org. CAV Odkazy (1) - Konferenční příspěvek (zahraniční konference)
Počet záznamů: 1