Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Formal Methods and Software Engineering

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

Língua

Inglês

Livro Capa mole

Código Libristo: 24640083

Editoras Springer Nature Switzerland AG, outubro 2019

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... Descrição completa

Código Libristo: 24640083

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Antike II Mac Gerdts

Jogo

37.83 €

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

Capa mole

34.59 €

Die Bruce-Partington-Plane Arthur Conan Doyle

Adobe ePub DRM

1.91 €

Poison Ivy: Metamorphose Marcio Takara

Capa mole

14.46 €

Zamknięte drzwi McFadden Freida

Capa mole

7.78 €

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

Capa mole

20.83 €

Blicki blickt's Dirk Hendler

Livro concertina

7.48 €

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

Capa mole

5.35 €

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

Livro de capa dura

35.10 €

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

Capa mole

37.73 €

Pferde-Instructor Leopold Ottofy

Capa mole

19.92 €

Biene und die Bienenzucht im Altertume Raymond Billiard

Capa mole

28.62 €

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

Capa mole

26.09 €

Kleine Katze Chi. Bd.11 Konami Kanata

Capa mole

8.99 €

Tratado de podología y arte de herrar Heinrid Muller

Capa mole

25.79 €

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

Capa mole

13.85 €

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

Livro de capa dura

15.57 €

Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz

Capa mole

11.22 €

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

Livro

7.88 €

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

binding.

31.36 €

Trésors des racines grecques et latines Delrieu

Livro de capa dura

23.67 €

MARISOL VIOLON JEROME NAULAIS Livro

binding.

22.15 €

Tomie Deluxe Jens Ossa

Livro de capa dura

26.60 €

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.