NASA Formal Methods

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

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

Szerző: Alwyn Goodloe, Suzette Person

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 327 Ft

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

Információk a könyvről

Szerző

Alwyn Goodloe, Suzette Person

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

466

EAN

9783642288906

ISBN

3642288901

Enbook ID

01660738

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

721

Méretek

155 x 235 x 26

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

NASA Formal Methods

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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