Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Libristo kod: 15853291
Nakladnici Springer Verlag, Singapore, srpanj 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Cijeli opis
? points 292 b
120.75 €
Vanjske zalihe Šaljemo za 10-13 dana

Do 30 dana za povrat

Kupci su kupili i

Quaderno di compiti delle vacanze per adulti Daniel López Valle / Knjiga Meki uvez
common.buy 14.34 €
Hopfen & Himmel Ludwig Waldmüller / Knjiga Tvrdi uvez
common.buy 16.97 €
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Knjiga Tvrdi uvez
common.buy 55.57 €
Złotowłosa Wojciech Chmielarz / Knjiga Meki uvez
common.buy 10.90 €
Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 22.12 €
Chefs-d'Oeuvre Tome 2 Corneille-T / Knjiga Meki uvez
common.buy 15.55 €
Penser les formes filmiques contemporaines Deville / Knjiga Knjiga
common.buy 34.04 €
Die Demokratie Michel Zobi / Knjiga Meki uvez
common.buy 35.66 €
Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme / Knjiga Meki uvez
common.buy 13.63 €
Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee / Video DVD
common.buy 17.78 €
Divoké rostliny Celie Nentwig / Knjiga Tvrdi uvez
common.buy 16.66 €
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Knjiga Tvrdi uvez
common.buy 7.06 €
Monte Dolciano Swidler Uli T. / Knjiga Meki uvez
common.buy 6.76 €
La regina delle nevi e altri racconti H. Christian Andersen / Knjiga Meki uvez
common.buy 17.98 €
Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard / Knjiga Meki uvez
common.buy 5.65 €
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Knjiga Meki uvez
common.buy 17.98 €
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Knjiga Meki uvez
common.buy 42.74 €
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Knjiga Meki uvez
common.buy 12.22 €
Kals-Heiligenblut-Matrei-Lienz (WK181) / Tiskanica Mapa
common.buy 12.22 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autor Manju Nanda, Yogananda Jeppu
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2017
Broj stranica 132
EAN 9789811041204
ISBN 9811041202
Libristo kod 15853291
Nakladnici Springer Verlag, Singapore
Težina 3697
Dimenzije 155 x 235 x 12

Kategorija

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Calculus of variations
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
Technology, Engineering, Agriculture > Other technologies & applied sciences > Space science > Astronautics
Technology, Engineering, Agriculture > Transport technology & trades > Aerospace & aviation technology
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Sustainable Plantation Forestry Herman Hidayat / Knjiga Tvrdi uvez
common.buy 102.86 €
Jim Corbett, Master of the Jungle Tim Werling / Knjiga Tvrdi uvez
common.buy 31.22 €
Animal Handling and Physical Restraint CHASTAIN / Knjiga Tvrdi uvez
common.buy 264.45 €
Spelling Activity Book 2 Abigail Steel / Knjiga Meki uvez
common.buy 6.05 €
The Watson Drawing Book Ernest W Watson / Knjiga Tvrdi uvez
common.buy 38.19 €
Mandala Coloring Book: Coloring Books for Adults: Stress Relieving Patterns Tanakorn Suwannawat / Knjiga Meki uvez
common.buy 7.57 €
British Empire and the First World War Ashley Jackson / Knjiga Meki uvez
common.buy 74.16 €
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Knjiga Tvrdi uvez
common.buy 236.66 €
ESV Expository Commentary Iain M. Duguid / Knjiga Tvrdi uvez
common.buy 45.16 €
Maneki-Neko: Kei, The Lucky Cat of Harajuku Nicole Russin / Knjiga Meki uvez
common.buy 15.75 €
Pathfinder Flip-Mat: Ritual Sites / Knjiga Meki uvez
common.buy 18.08 €
Serious Student's Planner for Time Management Success ACTIVINOTES / Knjiga Meki uvez
common.buy 13.53 €
A Priceless Treasure Marie Crowley / Knjiga Meki uvez
common.buy 21.92 €
THE ESSENTIALS OF TEACHING: A BOOK FOR A THOMAS J. BURNETT / Knjiga Tvrdi uvez
common.buy 33.54 €
Fireman Joe Hill / Knjiga Meki uvez
common.buy 7.87 €
German Vocabulary Laminate Reference Chart Liliane Arnet / Knjiga Knjiga
common.buy 7.37 €
Caesar Henry Peterson / Knjiga Meki uvez
common.buy 12.62 €
My Holly Julie Leavitt Wolfe / Knjiga Meki uvez
common.buy 13.73 €
Top
Lonely Planet - Central Asia Lonely Planet / Knjiga Meki uvez
common.buy 38.49 €
Blood Brothers Deanne Stillman / Knjiga Meki uvez
common.buy 12.72 €
Synoptical Firing of Electrical Complexity EVAN AMRHEIN / Knjiga Meki uvez
common.buy 14.54 €
Antibiotic Essentials 2024 Cheston B Cunha / Knjiga Meki uvez
common.buy 57.29 €
Hard Facts of the Grimms' Fairy Tales Maria Tatar / Knjiga Meki uvez
common.buy 17.88 €
Top
Writing B1 Luis Porras Wadley / Knjiga Meki uvez
common.buy 13.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun