Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

NASA Formal Methods

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

Nakladatelství Springer International Publishing AG, březen 2015

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

Libristo kód: 09225659

125 b

1 250 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

2 504 Kč

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

Brožovaná

1 192 Kč

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

Pevná

569 Kč

Familiae minorum gentium; Volumen 1 John William Clay

Brožovaná

881 Kč

Cay Koy Yeniden Basliyoruz

Brožovaná

302 Kč

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

Brožovaná

354 Kč

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

Adobe ePub DRM

239 Kč

Espectro de la analogía : Literatura & ciencia

Brožovaná

519 Kč

Teorias de la Lirica Gustavo Guerrero

Brožovaná

239 Kč

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Brožovaná

1 163 Kč

Salvia Divinorum Jochen Gartz

Brožovaná

265 Kč

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

Brožovaná

1 018 Kč

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

Brožovaná

293 Kč

Oeuvres Tome 3 Moliere

Brožovaná

720 Kč

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

Pevná

1 322 Kč

Diabeł tasmański

Hračka

123 Kč

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

Brožovaná

308 Kč

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

Pevná

409 Kč

Le réchauffement climatique et ses impacts Exbalin

Brožovaná

718 Kč

La magrana de foc Morey Servera

Brožovaná

362 Kč

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

Pevná

6 481 Kč

Magorie Šarközi

Audio CD

125 Kč

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.