Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

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

Language

English

Book Paperback

Libristo code: 24640083

Publishers Springer Nature Switzerland AG, October 2019

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... Full description

Libristo code: 24640083

136 b

20 377 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Poison Ivy: Metamorphose Marcio Takara

Paperback

6 587 Ft

Die Bruce-Partington-Plane Arthur Conan Doyle

Adobe ePub DRM

809 Ft

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

Paperback

15 559 Ft

Zamknięte drzwi McFadden Freida

Paperback

3 705 Ft

Blicki blickt's Dirk Hendler

Board book

3 421 Ft

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

Paperback

9 095 Ft

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

Paperback

2 163 Ft

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

Hardback

16 070 Ft

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

Paperback

17 003 Ft

Pferde-Instructor Leopold Ottofy

Paperback

8 570 Ft

Biene und die Bienenzucht im Altertume Raymond Billiard

Paperback

12 289 Ft

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

Paperback

11 196 Ft

Kleine Katze Chi. Bd.11 Konami Kanata

Paperback

4 112 Ft

Tratado de podología y arte de herrar Heinrid Muller

Paperback

11 736 Ft

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

Paperback

6 152 Ft

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

Hardback

6 980 Ft

Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz

Paperback

5 040 Ft

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

Book

3 961 Ft

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

binding.

13 700 Ft

Trésors des racines grecques et latines Delrieu

Hardback

10 311 Ft

Corruption et sous-développement au Maroc Brachet

Paperback

6 890 Ft

MARISOL VIOLON JEROME NAULAIS Book

binding.

9 635 Ft

Tomie Deluxe Jens Ossa

Hardback

12 095 Ft

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.