|
|
.
|
|
|
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
|
Dotazy a připomínky