NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642288906
Price: 212.91 PLN
Availability: InStock

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Autor: Alwyn Goodloe, Suzette Person

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.91 zł

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal...

Informacje o książce

Autor

Alwyn Goodloe, Suzette Person

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

466

EAN

9783642288906

ISBN

3642288901

Enbook ID

01660738

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

721

Wymiary

155 x 235 x 26

Pełny opis

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. §The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Quantum Potential: Physics, Geometry and Algebra

Field Guide to Covering Local News

Beast Quest: Draka the Winged Serpent

Towards Belonging

The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing

An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation

Online Dating Profiles: What Are They Really Telling You?

Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath

Blue Sabine

Nationalisms: The Nation-State and Nationalism in the Twentieth Century

To Kill A Mockingbird

Optimization Methods in Electromagnetic Radiation

God's Indemnity

Klienci, którzy kupili tę książkę, kupili również

Cuentos de la filosofía griega : Platón, hablando de Sócrates

Uso de las ciclovías como un recurso turístico

La traduzione e il linguaggio nelle guide turistiche

mon chemin vers compostelle

AElpler

Checkliste Anästhesie

Nachhaltige Kapitalanlagen

WAS IST WAS Mission im Weltraum

Shakara