Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Safety and Security

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

Case Studies for Aerospace Applications

Manju Nanda

Yogananda Jeppu

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41332731

Wydawnictwo Springer, listopad 2017

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Cały opis

Kod Libristo: 41332731

241 b

423.80 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

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

Miękka

61.34 zł

Askname Sultan Veled

Miękka

34.95 zł

Fraseología Jurídica Latina Gómez Royo

Miękka

136.49 zł

Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE

Miękka

177.79 zł

Das Buch der Natur Hoge Schulz

Miękka

100.73 zł

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

Miękka

92.17 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods for Safety and Security

Autor Manju Nanda, Yogananda Jeppu

Język

Angielski

Oprawa E-book - Adobe ePub DRM

Data wydania 2017

EAN 9789811041211

Kod Libristo 41332731

Wydawnictwo Springer

Kategoria

Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Rachunek wariacyjny

Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria mechaniczna i materiałowa > Produkcja i inżynieria przemysłowa > Inżynieria niezawodności

Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria transportu > Technologia lotnicza

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania