phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

NASA Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha NASA Formal Methods Klaus Havelund
Libristo kód: 09225659
Nakladatelství Springer International Publishing AG, března 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Architecture and Cities of Northern Mexico from Independence to the Present Edward Burian / Pevná
common.buy 1 782 Kč
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Brožovaná
common.buy 727 Kč
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Pevná
common.buy 793 Kč
Men's Gender Role Conflict James M. O'Neil / Pevná
common.buy 2 826 Kč
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Pevná
common.buy 8 795 Kč
Study in Scarlet A Conan Doyle / Brožovaná
common.buy 325 Kč
Everybody Likes Pizza Andy Mason / Brožovaná
common.buy 276 Kč
Organophosphorus Chemistry / Pevná
common.buy 11 872 Kč
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Brožovaná
common.buy 340 Kč
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Brožovaná
common.buy 1 176 Kč
Guest Book, Visitors Book, Guests Comments, Vacation Home Guest Book, Beach House Guest Book, Comments Book, Visitor Book, Nautical Guest Book, Holida LOLLYS PUBLISHING / Pevná
common.buy 567 Kč
Oeuvres Tome 3 Moliere / Brožovaná
common.buy 834 Kč
Helping Those in Grief WRIGHT H NORMAN / Pevná
common.buy 402 Kč

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

Informace o knize

Plný název NASA Formal Methods
Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 458
EAN 9783319175232
ISBN 3319175238
Libristo kód 09225659
Nakladatelství Springer International Publishing AG
Váha 718
Rozměry 155 x 235 x 26

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet