Kniha NASA Formal Methods Klaus Havelund

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2015
Stránek
458
EAN
9783319175232
ISBN
3319175238
Enbook ID
09225659
Hmotnost
718
Rozměry
155 x 235 x 26

Kompletní popis

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.

Mohlo by vás zajímat

Myeloid Leukemia

Harry Iland
3 235

Brain Games Book for Kids

Speedy Publishing LLC
283
419

In One Town

Edmund Downey
436
230
290

Power Shifts

Foltz Dr. Howard Foltz
235

Great Mongol Shahnama

Robert Hillenbrand
4 640

Gates of Anubis

Kylie Quillinan
370
431
5 706
771

Ikarus

Deon Meyer
455

Bookkeeping Ledger

Speedy Publishing LLC
299
2 197

Zákaznicí kteří koupili tuto knihu koupili také

855
1 387

La magrana de foc

Morey Servera
391

Teorias de la Lirica

Gustavo Guerrero
261
698