phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

NASA Formal Methods

Limba englezăengleză
Carte Carte broșată
Carte NASA Formal Methods Klaus Havelund
Codul Libristo: 09225659
Editura Springer International Publishing AG, martie 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Carte broșată
common.buy 154 lei
Architecture and Cities of Northern Mexico from Independence to the Present Edward Burian / Copertă tare
common.buy 361 lei
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Carte broșată
common.buy 247 lei
Men's Gender Role Conflict James M. O'Neil / Copertă tare
common.buy 581 lei
Guest Book, Visitors Book, Guests Comments, Vacation Home Guest Book, Beach House Guest Book, Comments Book, Visitor Book, Nautical Guest Book, Holida LOLLYS PUBLISHING / Copertă tare
common.buy 120 lei
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Copertă tare
common.buy 168 lei
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Copertă tare
common.buy 1.841 lei
Helping Those in Grief WRIGHT H NORMAN / Copertă tare
common.buy 81 lei
Study in Scarlet A Conan Doyle / Carte broșată
common.buy 68 lei
Oeuvres Tome 3 Moliere / Carte broșată
common.buy 175 lei
Everybody Likes Pizza Andy Mason / Carte broșată
common.buy 58 lei
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Carte broșată
common.buy 72 lei
Organophosphorus Chemistry / Copertă tare
common.buy 2.485 lei

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.

Informații despre carte

Titlu complet NASA Formal Methods
Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 458
EAN 9783319175232
ISBN 3319175238
Codul Libristo 09225659
Editura Springer International Publishing AG
Greutatea 718
Dimensiuni 155 x 235 x 26

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo