Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 46.07 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783319175232

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Klaus Havelund

Gerard Holzmann

Rajeev Joshi

Língua

Inglês

Livro Capa mole

Código Libristo: 09225659

Editoras Springer International Publishing AG, março 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descrição completa

Código Libristo: 09225659

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann

Capa mole

83.75 €

Familiae minorum gentium; Volumen 1 John William Clay

Capa mole

32.70 €

Аэлита. Гиперболоид инженера Гарина Алексей Толстой

Livro de capa dura

22.17 €

Slovensko v treťom tisícročí Vladimír Bárta

Livro de capa dura

54.68 €

Espectro de la analogía : Literatura & ciencia

Capa mole

19.44 €

La construcción de los interrogatorios desde la teoría del caso Benavente Chorres

Capa mole

44.55 €

La magrana de foc Morey Servera

Capa mole

13.56 €

Teorias de la Lirica Gustavo Guerrero

Capa mole

9.00 €

Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen

Capa mole

11.23 €

Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy

Livro de capa dura

14.17 €

Le réchauffement climatique et ses impacts Exbalin

Capa mole

24.70 €

Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre

Capa mole

10.83 €

Oeuvres Tome 3 Moliere

Capa mole

26.93 €

Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac

Capa mole

38.27 €

Césped, diseño, instalación y cuidado Beretta

Capa mole

5.86 €

Index of North and South American Constitutions 1850 to 2007 Horst Dippel

Livro de capa dura

240.03 €

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.