Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha NASA Formal Methods Mihaela Bobaru

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Autor: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.13 €
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal M...

Informácie o knihe

Autor
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2011
Stránok
534
EAN
9783642203978
ISBN
3642203973
Enbook ID
01657772
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
836
Rozmery
155 x 235 x 30

Kompletný popis

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. §The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verifcation techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.

Mohlo by vás zaujímať

Guitar Case Guide to Left Handed Chords

Rikky Rooksby
8.64 €

Revisiting Vietnam

Julia Bleakney
76.54 €

Walk in Jerusalem

John Peterson
13.55 €

Tyrannosaurus Ralph

Nate Evans
9.42 €

Roundelay or the New Syren, a Collection of Choice Songs Including the Modern

MULTIPLE CONTRIBUTOR
30.94 €

Guide to Indigenous Artifacts of the Northeast

Roger W Moeller
13.45 €

Emma's Secret

Barbara Taylor Bradford
11.49 €

The Story of Mankind

Hendrik Van Loon
39.69 €

Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release)

Rafael Concepcion
51.87 €

Parisian Days

Banine
17.58 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Janičiarka

Hana Košková
8.29 €

Abfindungs-Caps fur Vorstandsmitglieder im deutschen Recht

Philipp Jakobus
34.68 €

Gottes Annehmerin

Leopold Kompert
7.95 €

Mathematik 4. Klasse

Sven Ludwig
14.04 €