Počet záznamů: 1  

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I

    1.
    MARGARIA, T., STEFFEN, B., eds. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I. Berlin: Springer, 2014. ISBN 978-3-662-45233-2. ISSN 0302-9743.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše