Menu
Află starea comenzii
Contactați-ne
Carte 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
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
297.36 lei
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal M...

Informații despre carte

Autor
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2011
Pagini
534
EAN
9783642203978
ISBN
3642203973
Enbook ID
01657772
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
836
Dimensiuni
155 x 235 x 30

Descriere completă

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.

S-ar putea să te intereseze

Guitar Case Guide to Left Handed Chords

Rikky Rooksby
47.55 lei

Revisiting Vietnam

Julia Bleakney
438.22 lei

Walk in Jerusalem

John Peterson
74.61 lei

Tyrannosaurus Ralph

Nate Evans
51.89 lei

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

MULTIPLE CONTRIBUTOR
178.92 lei

Guide to Indigenous Artifacts of the Northeast

Roger W Moeller
77.84 lei

Emma's Secret

Barbara Taylor Bradford
64.31 lei

The Story of Mankind

Hendrik Van Loon
229.40 lei

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

Rafael Concepcion
287.67 lei

Parisian Days

Banine
98.24 lei

Clienții care au cumpărat această carte au mai cumpărat și

Janičiarka

Hana Košková
46.84 lei

Abfindungs-Caps fur Vorstandsmitglieder im deutschen Recht

Philipp Jakobus
192.65 lei

Gottes Annehmerin

Leopold Kompert
43.91 lei

Mathematik 4. Klasse

Sven Ludwig
77.84 lei