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

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 24640083
Price: 45.49 EUR
Availability: InStock
Author: Yamine Ait-Ameur
ISBN: 9783030324087

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-Ameur

Shengchao Qin

Język

Angielski

Książka Miękka

Kod Libristo: 24640083

Wydawnictwo Springer Nature Switzerland AG, październik 2019

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... Cały opis

Kod Libristo: 24640083

111 b

45.49 € včetně DPH

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

Nawet do 30 dni na zwrot

Klienci kupili także

Karel Kramář – 150 let od narození - Sborník textů collegium

Miękka

5.29 €

Blicki blickt's Dirk Hendler

Leporelo

9.95 €

Die Bruce-Partington-Plane Arthur Conan Doyle

Adobe ePub DRM

1.89 €

Poison Ivy: Metamorphose Marcio Takara

Miękka

19.00 €

Zamknięte drzwi McFadden Freida

Miękka

7.69 €

PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO Rama Devi Burri

Miękka

34.19 €

La cuina del bolet Belda Antolí

Twarda

21.59 €

Masestrand del 2 Mathlein

MP3

2.69 €

Précis de calcul mental pour le pilote - 2e édition Heintz

Miękka

20.29 €

Didaktische Konsequenzen aus einer Unterrichts- und Ergebnisanalyse fur das Arbeiten mit dynamischer Geometriesoftware Christopher Merzinsky

Miękka

47.95 €

Pferde-Instructor Leopold Ottofy

Miękka

22.90 €

Biene und die Bienenzucht im Altertume Raymond Billiard

Miękka

32.90 €

Buchdruckereien zu Worms am Rhein im 16. Jahrhundert Ferdinand Wilhelm Emil Roth

Miękka

29.90 €

Kleine Katze Chi. Bd.11 Konami Kanata

Miękka

12.00 €

Tratado de podología y arte de herrar Heinrid Muller

Miękka

25.49 €

Introducción a la lógica y al método científico, Vol. II Cohen

Miękka

13.59 €

SPA-MONJA Y CASADA VIRGEN Y MA Vicente 1832-1896 Riva Palacio

Twarda

34.69 €

Economía 1r.batxillerat JORDI FRANCH PARELLA

Twarda

32.29 €

Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz

Miękka

14.00 €

Jízda v levém pruhu Marek Orko Vácha

Książka

8.59 €

FOUNDATION STUDIES FOR THE VIOLA, BOOK 2 ALTO FRANZ WOHLFAHRT Książka

binding.

30.69 €

Trésors des racines grecques et latines Delrieu

Twarda

23.09 €

Corruption et sous-développement au Maroc Brachet

Miękka

13.89 €

MARISOL VIOLON JEROME NAULAIS Książka

binding.

21.59 €

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.