Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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 Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

NASA Formal Methods

Język AngielskiAngielski
Książka Miękka
Książka NASA Formal Methods Clark Barrett
Kod Libristo: 16082821
Wydawnictwo Springer International Publishing AG, kwiecień 2017
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM... Cały opis
? points 125 b
222.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Protagoras Platón / E-book Adobe ePub DRM
common.buy 4.57 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa NASA Formal Methods
Autor Clark Barrett, Misty Davies, Temesghen Kahsai
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 436
EAN 9783319572871
ISBN 3319572873
Kod Libristo 16082821
Wydawnictwo Springer International Publishing AG
Waga 682
Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Frontier Defense in the Civil War : Texas' Rangers and Rebels David Paul Smith / Książka Miękka
common.buy 103.01 zł
Old Tune, Etc. [A Novel.] Henry Thornton Craven / Książka Miękka
common.buy 95.58 zł
What Was Not Said Sean M Teaford / Książka Miękka
common.buy 53.13 zł
Rail-Trails Illinois, Indiana, & Ohio Rails-To-Trails Conservancy / Książka Miękka
common.buy 136.80 zł
Aquasynthesis: Splashdown Vol. 1 Grace Bridges / Książka Miękka
common.buy 40.30 zł
Democrats: The War Party: Volume One John M McVey / Książka Miękka
common.buy 79.19 zł
Busing Brewster Richard Michelson / Książka Twarda
common.buy 71.96 zł
Zoila's Three Tricks to Help Avoid Getting Sick Mark Bowles / Książka Miękka
common.buy 82.95 zł
Love Grows Here Violet Kim / Książka Twarda
common.buy 75.83 zł
100 Best Books for Work and Life Todd Sattersten / Książka Twarda
common.buy 91.30 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?