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: 1182 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

118 b

1 182 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

2 150 Kč

Familiae minorum gentium; Volumen 1 John William Clay

Brožovaná

881 Kč

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

Pevná

569 Kč

Espectro de la analogía : Literatura & ciencia

Brožovaná

574 Kč

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

Brožovaná

1 315 Kč

La magrana de foc Morey Servera

Brožovaná

403 Kč

Teorias de la Lirica Gustavo Guerrero

Brožovaná

269 Kč

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

Brožovaná

306 Kč

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

Pevná

414 Kč

Le réchauffement climatique et ses impacts Exbalin

Brožovaná

723 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č

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č

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

Brožovaná

175 Kč

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

Pevná

6 141 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.