NASA Formal Methods

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

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

Autor: Alwyn Goodloe, Suzette Person

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Alwyn Goodloe, Suzette Person

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

466

EAN

9783642288906

ISBN

3642288901

Enbook ID

01660738

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

721

Rozměry

155 x 235 x 26

Kompletní popis

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.

Mohlo by vás zajímat

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

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

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

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