NASA Formal Methods

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

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

Autor: Alwyn Goodloe, Suzette Person

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.18 €

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

Informácie o knihe

Autor

Alwyn Goodloe, Suzette Person

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

466

EAN

9783642288906

ISBN

3642288901

Enbook ID

01660738

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

721

Rozmery

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 zaujímať

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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ákazníci, ktorí si kúpili túto knihu, kúpili tiež

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