Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

NASA Formal Methods

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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 09225659

Editores Springer International Publishing AG, marzo 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descripción completa

Código Libristo: 09225659

138 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

Tapa blanda

113.59 €

DRAGON BALL HEROES UNIVERSE BIG BANG MISSION Nº 03/03 TORIYAMA

Tapa blanda

10.99 €

Эркюль. Кот-сыщик. Вор на крыше Кристиан Гренье

Tapa dura

17.39 €

Cay Koy Yeniden Basliyoruz

Tapa blanda

14.39 €

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

Tapa blanda

13.79 €

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

Tapa blanda

13.49 €

La magrana de foc Morey Servera

Tapa blanda

16.49 €

Umenie zablúdiť Boris Filan

Tapa dura

5.79 €

Tibetská léčení zvukem + CD Tenzin Wangyal Rinpočhe

Tapa dura

12.09 €

Salvia Divinorum Jochen Gartz

Tapa blanda

13.59 €

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Tapa blanda

53.09 €

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

Tapa dura

292.59 €

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

Tapa blanda

46.69 €

Rosaura en bicicleta Daniel Barbot

Tapa blanda

13.80 €

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

Tapa blanda

51.99 €

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

Tapa blanda

14.59 €

Teorias de la Lirica Gustavo Guerrero

Tapa blanda

10.39 €

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

Tapa dura

64.69 €

Berlin Alexanderplatz. Die raumlichen AEnderungen nach seinem Umbau Schmidt

Tapa blanda

17.89 €

Oeuvres Tome 3 Moliere

Tapa blanda

33.09 €

Kredki Bambino drewniane 12 kolorów Mini zoo

Audio

6.19 €

Diabeł tasmański

Juguete

5.59 €

Magorie Šarközi

CD de audio

5.69 €

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

Tapa dura

15.99 €

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.