Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

NASA Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha NASA Formal Methods Clark Barrett
Libristo kód: 16082821
Nakladateľstvo Springer International Publishing AG, apríl 2017
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Protagoras Platón / E-kniha Adobe ePub DRM
common.buy 1.10 €

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov NASA Formal Methods
Autor Clark Barrett, Misty Davies, Temesghen Kahsai
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2017
Počet strán 436
EAN 9783319572871
ISBN 3319572873
Libristo kód 16082821
Nakladateľstvo Springer International Publishing AG
Váha 682
Rozmery 155 x 235 x 25

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Frontier Defense in the Civil War : Texas' Rangers and Rebels David Paul Smith / Kniha Brožovaná
common.buy 22.58 €
Old Tune, Etc. [A Novel.] Henry Thornton Craven / Kniha Brožovaná
common.buy 20.85 €
What Was Not Said Sean M Teaford / Kniha Brožovaná
common.buy 11.74 €
Rail-Trails Illinois, Indiana, & Ohio Rails-To-Trails Conservancy / Kniha Brožovaná
common.buy 18.93 €
Aquasynthesis: Splashdown Vol. 1 Grace Bridges / Kniha Brožovaná
common.buy 8.90 €
Democrats: The War Party: Volume One John M McVey / Kniha Brožovaná
common.buy 17.51 €
Busing Brewster Richard Michelson / Kniha Pevná
common.buy 14.88 €
Zoila's Three Tricks to Help Avoid Getting Sick Mark Bowles / Kniha Brožovaná
common.buy 18.32 €
Love Grows Here Violet Kim / Kniha Pevná
common.buy 17.61 €
Reliability Modelling Linda C. Wolstenholme / E-kniha Adobe ePub DRM
common.buy 155.76 €
100 Best Books for Work and Life Todd Sattersten / Kniha Pevná
common.buy 21.26 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?