Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 24640083
Price: 219.03 PLN
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

125 b

219.03 zł

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

30 dni na zwrot towaru

Klienci kupili także

Antike II Mac Gerdts

Gra

190.42 zł

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

Miękka

166.23 zł

Die Bruce-Partington-Plane Arthur Conan Doyle

Adobe ePub DRM

9.43 zł

Poison Ivy: Metamorphose Marcio Takara

Miękka

70.06 zł

Zamknięte drzwi McFadden Freida

Miękka

33.12 zł

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

Miękka

107.10 zł

Blicki blickt's Dirk Hendler

Leporelo

36.23 zł

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

Miękka

25.19 zł

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

Twarda

174.16 zł

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

Miękka

181.49 zł

Pferde-Instructor Leopold Ottofy

Miękka

100.37 zł

Biene und die Bienenzucht im Altertume Raymond Billiard

Miękka

143.64 zł

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

Miękka

131.09 zł

Kleine Katze Chi. Bd.11 Konami Kanata

Miękka

43.66 zł

Tratado de podología y arte de herrar Heinrid Muller

Miękka

136.82 zł

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

Miękka

71.66 zł

tasse invisibili. L'inganno di stato che toglie a tutti per dare a pochi Nicola Porro

Twarda

78.29 zł

Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz

Miękka

53.80 zł

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

Książka

40.25 zł

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

binding.

161.01 zł

Trésors des racines grecques et latines Delrieu

Twarda

121.26 zł

MARISOL VIOLON JEROME NAULAIS Książka

binding.

113.33 zł

Tomie Deluxe Jens Ossa

Twarda

128.58 zł

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.