NASA Formal Methods

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

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

Автор: Alwyn Goodloe, Suzette Person

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

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

Информация за книгата

Автор

Alwyn Goodloe, Suzette Person

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

466

EAN

9783642288906

ISBN

3642288901

Enbook ID

01660738

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

721

Размери

155 x 235 x 26

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

NASA Formal Methods

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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