Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

NASA Formal Methods

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

Język

Angielski

Książka Miękka

Kod Libristo: 09225659

Wydawnictwo Springer International Publishing AG, marzec 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Cały opis

Kod Libristo: 09225659

125 b

218.99 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

398.75 zł

Familiae minorum gentium; Volumen 1 John William Clay

Miękka

162.18 zł

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

Twarda

99.65 zł

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

Twarda

256.13 zł

Espectro de la analogía : Literatura & ciencia

Miękka

100.56 zł

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

Miękka

230.33 zł

La magrana de foc Morey Servera

Miękka

70.55 zł

Teorias de la Lirica Gustavo Guerrero

Miękka

47.16 zł

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

Miękka

53.59 zł

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

Twarda

72.56 zł

Le réchauffement climatique et ses impacts Exbalin

Miękka

126.65 zł

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

Miękka

53.99 zł

Oeuvres Tome 3 Moliere

Miękka

132.27 zł

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

Miękka

186.77 zł

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

Miękka

30.60 zł

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

Twarda

1 135.45 zł

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.