Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

NASA Formal Methods

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09225659

Nakladateľstvo Springer International Publishing AG, marec 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Celý popis

Libristo kód: 09225659

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

94.18 €

Familiae minorum gentium; Volumen 1 John William Clay

Brožovaná

36.45 €

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

Pevná

23.49 €

Espectro de la analogía : Literatura & ciencia

Brožovaná

23.79 €

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

Brožovaná

54.38 €

La magrana de foc Morey Servera

Brožovaná

16.70 €

Teorias de la Lirica Gustavo Guerrero

Brožovaná

11.13 €

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

Brožovaná

12.65 €

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

Pevná

17.11 €

Le réchauffement climatique et ses impacts Exbalin

Brožovaná

29.87 €

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

Brožovaná

12.14 €

Oeuvres Tome 3 Moliere

Brožovaná

29.77 €

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

Brožovaná

42.12 €

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

Brožovaná

7.28 €

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

Pevná

268.19 €

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.