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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 51.68 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

125 b

51.68 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Capa mole

103.47 €

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

Capa mole

49.25 €

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

Livro de capa dura

26.19 €

Familiae minorum gentium; Volumen 1 John William Clay

Capa mole

38.23 €

Cay Koy Yeniden Basliyoruz

Capa mole

13.85 €

Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier

Capa mole

14.05 €

??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers

Adobe ePub DRM

9.90 €

Espectro de la analogía : Literatura & ciencia

Capa mole

21.44 €

Teorias de la Lirica Gustavo Guerrero

Capa mole

9.90 €

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Capa mole

48.04 €

Salvia Divinorum Jochen Gartz

Capa mole

10.92 €

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

Capa mole

44.09 €

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

Capa mole

12.74 €

Oeuvres Tome 3 Moliere

Capa mole

31.15 €

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

Livro de capa dura

65.54 €

Diabeł tasmański

Brinquedo

4.85 €

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

Capa mole

13.54 €

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

Livro de capa dura

16.18 €

Le réchauffement climatique et ses impacts Exbalin

Capa mole

28.31 €

La magrana de foc Morey Servera

Capa mole

14.96 €

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

Livro de capa dura

267.85 €

Magorie Šarközi

CD de áudio

5.76 €

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.