Name: nasa formal methods (en Inglés)
SKU: 16967330
Price: 54.05 USD
Availability: InStock
Author: alwyn goodloe suzette person (eds.)
ISBN: 9783642288906

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Autor

alwyn goodloe suzette person (eds.)

Colección

lecture notes in computer science vol. 7226

Año

2012

Idioma

Inglés

N° páginas

ISBN

3642288901

ISBN13

9783642288906

Categorías

Sistemas operativos

nasa formal methods (en Inglés)

Alwyn Goodloe Suzette Person (Eds.) (Autor) · · Libro Físico

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 108.11$ 54.05

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 54.05

Llega entre el 12 Oct y el 23 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "nasa formal methods (en Inglé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.