Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

NASA Formal Methods

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 09225659

Založba Springer International Publishing AG, marec 2015

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

Koda Libristo: 09225659

118 b

48.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

88.70 €

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

Trda

53.03 €

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

Trda

20.80 €

Familiae minorum gentium; Volumen 1 John William Clay

Mehka

36.36 €

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

Adobe ePub DRM

8.88 €

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

Mehka

49.39 €

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

Mehka

11.20 €

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

Trda

15.55 €

Le réchauffement climatique et ses impacts Exbalin

Mehka

27.27 €

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

Trda

253.48 €

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

Mehka

6.56 €

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

Mehka

42.02 €

Oeuvres Tome 3 Moliere

Mehka

29.69 €

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

Mehka

12.11 €

Espectro de la analogía : Literatura & ciencia

Mehka

21.51 €

Teorias de la Lirica Gustavo Guerrero

Mehka

9.99 €

La magrana de foc Morey Servera

Mehka

15.14 €

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.