Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods for Safety and Security

Name: Formal Methods for Safety and Security
Brand: Springer
SKU: 41332731
Price: 2421 CZK
Availability: InStock
Author: Manju Nanda
ISBN: 9789811041211

Case Studies for Aerospace Applications

Manju Nanda

Yogananda Jeppu

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41332731

Nakladatelství Springer, listopad 2017

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Celý popis

Libristo kód: 41332731

242 b

2 421 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

Verh ltnis Der T rh ter-Parabel Zum Erz hlkontext in Kafkas Roman Der Proze Tanja Stramiello

Brožovaná

328 Kč

Askname Sultan Veled

Brožovaná

189 Kč

Fraseología Jurídica Latina Gómez Royo

Brožovaná

775 Kč

Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE

Brožovaná

756 Kč

Das Buch der Natur Hoge Schulz

Brožovaná

574 Kč

Céline Dion - La femme aux deux visages Elysabeth Reynaud

Brožovaná

526 Kč

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.