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 Meki uvez
Knjiga Formal Methods for Safety and Security Manju Nanda
Libristo kod: 21076127
Nakladnici Springer Verlag, Singapore, siječanj 2019
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Cijeli opis
? points 268 b
110.46 €
Vanjske zalihe Šaljemo za 8-11 dana

Do 30 dana za povrat

Kupci su kupili i

Quando la parti?: Una storia di trasporto, emozioni e capolinea Davide Destradi / Knjiga Meki uvez
common.buy 14.52 €
Resumida historia del estado de alarma SALVADOR BELOSO / Knjiga binding.
common.buy 21.68 €
Erótico armamento, pólvora en verso Gil Jiménez / Knjiga Meki uvez
common.buy 15.02 €
Nouvelles Recherches Sur La Respiration Des Plantes. Memoire Sur La Corycolurnine Lazare Garreau / Knjiga Meki uvez
common.buy 13.61 €
Codex Diplomaticus Neerlandicus Historisch Genootschap / Knjiga Meki uvez
common.buy 15.53 €
Najlepse Pripovetke Jovan Radulovic / Knjiga Meki uvez
common.buy 13.91 €
Les Recits Du Capitaine Paul Thomin-L / Knjiga Meki uvez
common.buy 24.10 €
Entwicklung des Rustungsexports in Deutschland seit der Wiedervereinigung Lars Plettenberg / Knjiga Meki uvez
common.buy 40.04 €
Raccontami UNA Canzone edoardo pozzi / Knjiga Meki uvez
common.buy 19.86 €

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
Autor Manju Nanda, Yogananda Jeppu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2019
Broj stranica 132
EAN 9789811350542
Libristo kod 21076127
Nakladnici Springer Verlag, Singapore
Težina 313
Dimenzije 155 x 235 x 8

Kategorija

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Calculus of variations
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
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

Great Lakes Fun Book: A Fun and Educational Book on The Great Lakes Jobe Leonard / Knjiga Meki uvez
common.buy 10.28 €
Kid's Guide to New York City Eileen Ogintz / Knjiga Meki uvez
common.buy 19.86 €
Cult of Carnage: Misery Sabir Pirzada / Knjiga Meki uvez
common.buy 20.17 €
Climate Change Mike Hulme / Knjiga Tvrdi uvez
common.buy 208.52 €
CCNA Certification Practice Tests: Exam Tbd Buhagiar / Knjiga Meki uvez
common.buy 32.07 €
Top
Life of Birds David Attenborough / Knjiga Tvrdi uvez
common.buy 26.32 €
Some Of The Great Preachers Of Wales (1886) Owen Jones / Knjiga Meki uvez
common.buy 41.96 €
Successione Zappa: Controversia Tra la Grecia e la Romania Pasquale Fiore / Knjiga Meki uvez
common.buy 21.18 €
Les Apparitions Du Chateau de Tarabel ETIE LAMOTHE-LANGON / Knjiga Tvrdi uvez
common.buy 33.48 €
Mathematics for Curriculum Leaders Bill Rawson / Knjiga Tvrdi uvez
common.buy 243.83 €
When London burned; a story of restoration times and the great fire.: With twelve page illus. by J.(Joseph) Finnemore (Born: 1860, Birmingham, United G A Henty / Knjiga Meki uvez
common.buy 11.69 €
Salton Sea Lake Fun Book: A Fun and Educational Book About Salton Sea Lake Jobe Leonard / Knjiga Meki uvez
common.buy 6.75 €
Gnomes of the Night Arthur N. Bragg / Knjiga Tvrdi uvez
common.buy 95.43 €
Art of Peaceful Teaching in the Primary School Michelle MacGrath / Knjiga Tvrdi uvez
common.buy 237.07 €
Political Choices – Essays on State, Resistance and Intellectuals Nirmalangshu Mukherji / Knjiga Tvrdi uvez
common.buy 58.00 €
I've Loved You Before Madison Byers / Knjiga Meki uvez
common.buy 23.09 €
International Encyclopedia of Information and Library Science John Feather / Knjiga Tvrdi uvez
common.buy 389.61 €
Air Power in the Age of Total War John Buckley / Knjiga Tvrdi uvez
common.buy 215.48 €
Popular Politics and Political Culture in Upper Canada, 1800-1850 Carol Wilton / Knjiga Meki uvez
common.buy 41.56 €
Lectures on Resolution of Singularities (AM-166) Janos Kollar / Knjiga Meki uvez
common.buy 87.05 €
Anguilla to Dominica Street M / Knjiga Meki uvez
common.buy 17.14 €
Modeling Uncertainty with Fuzzy Logic Asli Celikyilmaz / Knjiga Tvrdi uvez
common.buy 167.36 €

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