Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 11.05.2024. Zobrazit aktuální podobu v katalogu.

Bibliografická citace

.
0 (hodnocen0 x )
EB
ONLINE
Gateway East, Singapore : Springer, 2018
1 online resource (138 pages) : illustrations (some color), graphs
Externí odkaz    Plný text PDF 
   * Návod pro vzdálený přístup 


ISBN 9789811041211 (e-book)
ISBN 9789811041204
Print version: Formal methods for safety and security : case studies for aerospace applications. Gateway East, Singapore ; Springer, c2018 xii, 132 pages ISBN 9789811041204
Includes bibliographical references at the end of each chapters and index
001939966
full
(Au-PeEL)EBL5143834
(CaPaEBR)ebr11465644
(MiAaPQ)EBC5143834
(OCoLC)1012347666

Zvolte formát: Standardní formát Katalogizační záznam Zkrácený záznam S textovými návěštími S kódy polí MARC