phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Libristo kód: 15853291
Nakladatelství Springer Verlag, Singapore, července 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Celý popis
? points 320 b
3 201 Kč včetně DPH
Skladem u dodavatele Odesíláme za 10-12 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Brožovaná
common.buy 271 Kč
British Empire and the First World War / Brožovaná
common.buy 1 765 Kč
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Pevná
common.buy 186 Kč
Landmarks in Classical Literature Philip Gaskell / Brožovaná
common.buy 636 Kč
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Pevná
common.buy 5 493 Kč
Learning Cultures in Online Education Robin Goodfellow / Brožovaná
common.buy 1 613 Kč
La regina delle nevi e altri racconti H. Christian Andersen / Brožovaná
common.buy 455 Kč
A Priceless Treasure Marie Crowley / Brožovaná
common.buy 533 Kč
Serious Student's Planner for Time Management Success ACTIVINOTES / Brožovaná
common.buy 368 Kč
Oliver Beer Oliver Beer / Pevná
common.buy 743 Kč
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Brožovaná
common.buy 487 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.

Informace o knize

Plný název Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autor Manju Nanda, Yogananda Jeppu
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2017
Počet stran 132
EAN 9789811041204
ISBN 9811041202
Libristo kód 15853291
Nakladatelství Springer Verlag, Singapore
Váha 3697
Rozměry 155 x 235 x 12

Kategorie

Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza > Variační počet
Technologie, strojírenství, zemědělství > Strojírenství a materiály > Výrobní inženýrství > Inženýrství spolehlivosti
Technologie, strojírenství, zemědělství > Další technologie a aplikované vědy > Vědy o vesmíru > Astronautika, kosmonautika
Technologie, strojírenství, zemědělství > Dopravní technologie a profese v dopravních technologiích > Vzdušná a letecká technika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet