Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 24640083

Casa editrice Springer Nature Switzerland AG, ottobre 2019

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... Descrizione completa

Codice Libristo: 24640083

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Antike II Mac Gerdts

Gioco

37.39 €

Poison Ivy: Metamorphose Marcio Takara

In brossura

16.29 €

Die Bruce-Partington-Plane Arthur Conan Doyle

Adobe ePub DRM

2.29 €

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

In brossura

38.79 €

Zamknięte drzwi McFadden Freida

In brossura

8.89 €

Blicki blickt's Dirk Hendler

Leporello

8.49 €

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

In brossura

20.49 €

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

In brossura

5.29 €

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

Rigido

42.59 €

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

In brossura

44.79 €

Pferde-Instructor Leopold Ottofy

In brossura

19.69 €

Biene und die Bienenzucht im Altertume Raymond Billiard

In brossura

28.19 €

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

In brossura

25.69 €

Kleine Katze Chi. Bd.11 Konami Kanata

In brossura

10.19 €

Tratado de podología y arte de herrar Heinrid Muller

In brossura

28.59 €

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

In brossura

15.09 €

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

Rigido

16.15 €

Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz

In brossura

12.49 €

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

Libro

7.79 €

FOUNDATION STUDIES FOR THE VIOLA, BOOK 2 ALTO FRANZ WOHLFAHRT Libro

binding.

30.79 €

Trésors des racines grecques et latines Delrieu

Rigido

23.19 €

MARISOL VIOLON JEROME NAULAIS Libro

binding.

21.69 €

Tomie Deluxe Jens Ossa

Rigido

29.99 €

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.