Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

NASA Formal Methods

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

Език

Английски език

Книга С меки корици

Код Либристо: 09225659

Издателство Springer International Publishing AG, март 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Цялото описание

Код Либристо: 09225659

132 b

54.35 €

106.30 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

99.20 € 194.01 лв

Familiae minorum gentium; Volumen 1 John William Clay

С меки корици

38.23 € 74.77 лв

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

С твърди корици

24.85 € 48.60 лв

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

С твърди корици

64.01 € 125.20 лв

Espectro de la analogía : Literatura & ciencia

С меки корици

24.74 € 48.40 лв

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

С меки корици

56.73 € 110.95 лв

La magrana de foc Morey Servera

С меки корици

17.36 € 33.94 лв

Teorias de la Lirica Gustavo Guerrero

С меки корици

11.62 € 22.73 лв

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

С меки корици

13.38 € 26.16 лв

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

С твърди корици

17.82 € 34.85 лв

Le réchauffement climatique et ses impacts Exbalin

С меки корици

31.15 € 60.93 лв

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

С меки корици

12.71 € 24.85 лв

Oeuvres Tome 3 Moliere

С меки корици

31.15 € 60.93 лв

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

С меки корици

44.02 € 86.09 лв

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

С меки корици

7.54 € 14.74 лв

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

С твърди корици

281.64 € 550.84 лв

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.