Kód: 13659375
This book constitutes the refereed proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 201 ... celý popis
1681 Kč
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Nákupem získáte 168 bodů
This book constitutes the refereed proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. FMICS-AVoCS 2016 is a merger of the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems. § The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence
1681 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )