phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

NASA Formal Methods

Nyelv AngolAngol
Könyv Puha kötésű
Könyv NASA Formal Methods Klaus Havelund
Libristo kód: 09225659
Kiadó Springer International Publishing AG, március 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Teljes leírás
? points 168 b
26 596 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Puha kötésű
common.buy 12 642 Ft
Architecture and Cities of Northern Mexico from Independence to the Present Edward Burian / Kemény kötésű
common.buy 28 292 Ft
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Puha kötésű
common.buy 20 239 Ft
Guest Book, Visitors Book, Guests Comments, Vacation Home Guest Book, Beach House Guest Book, Comments Book, Visitor Book, Nautical Guest Book, Holida LOLLYS PUBLISHING / Kemény kötésű
common.buy 9 841 Ft
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Kemény kötésű
common.buy 13 766 Ft
Men's Gender Role Conflict James M. O'Neil / Kemény kötésű
common.buy 45 665 Ft
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Kemény kötésű
common.buy 150 427 Ft
Everybody Likes Pizza Andy Mason / Puha kötésű
common.buy 4 776 Ft
Study in Scarlet A Conan Doyle / Puha kötésű
common.buy 5 521 Ft
Helping Those in Grief WRIGHT H NORMAN / Kemény kötésű
common.buy 6 362 Ft
Oeuvres Tome 3 Moliere / Puha kötésű
common.buy 14 384 Ft
Organophosphorus Chemistry / Kemény kötésű
common.buy 203 086 Ft
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Puha kötésű
common.buy 5 870 Ft

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.

Információ a könyvről

Teljes megnevezés NASA Formal Methods
Szerző Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 458
EAN 9783319175232
ISBN 3319175238
Libristo kód 09225659
Kiadó Springer International Publishing AG
Súly 718
Méretek 155 x 235 x 26

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása