Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

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

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Yamine Ait-Ameur
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
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Coming soon
Antike II Mac Gerdts / Game/Toy Game
common.buy 15 932 Ft
PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO Rama Devi Burri / Book Paperback
common.buy 15 197 Ft
Die Bruce-Partington-Plane Arthur Conan Doyle / E-book Adobe ePub DRM
common.buy 790 Ft
Poison Ivy: Metamorphose Marcio Takara / Book Paperback
common.buy 6 434 Ft
Zamknięte drzwi McFadden Freida / Book Paperback
common.buy 3 619 Ft
Précis de calcul mental pour le pilote - 2e édition Heintz / Book Paperback
common.buy 8 957 Ft
Blicki blickt's Dirk Hendler / Book Board book
common.buy 3 342 Ft
Karel Kramář – 150 let od narození - Sborník textů collegium / Book Paperback
common.buy 2 112 Ft
SPA-MONJA Y CASADA VIRGEN Y MA Vicente 1832-1896 Riva Palacio / Book Hardback
common.buy 15 696 Ft
Didaktische Konsequenzen aus einer Unterrichts- und Ergebnisanalyse fur das Arbeiten mit dynamischer Geometriesoftware Christopher Merzinsky / Book Paperback
common.buy 16 606 Ft
Pferde-Instructor Leopold Ottofy / Book Paperback
common.buy 8 398 Ft
Biene und die Bienenzucht im Altertume Raymond Billiard / Book Paperback
common.buy 12 017 Ft
Buchdruckereien zu Worms am Rhein im 16. Jahrhundert Ferdinand Wilhelm Emil Roth / Book Paperback
common.buy 10 963 Ft
Kleine Katze Chi. Bd.11 Konami Kanata / Book Paperback
common.buy 4 016 Ft
Tratado de podología y arte de herrar Heinrid Muller / Book Paperback
common.buy 11 448 Ft
Introducción a la lógica y al método científico, Vol. II Cohen / Book Paperback
common.buy 5 995 Ft
tasse invisibili. L'inganno di stato che toglie a tutti per dare a pochi Nicola Porro / Book Hardback
common.buy 6 905 Ft
Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz / Book Paperback
common.buy 4 922 Ft
Jízda v levém pruhu Marek Orko Vácha / Book Book
common.buy 3 577 Ft
FOUNDATION STUDIES FOR THE VIOLA, BOOK 2 ALTO FRANZ WOHLFAHRT Book binding.
common.buy 13 468 Ft
Trésors des racines grecques et latines Delrieu / Book Hardback
common.buy 10 140 Ft
MARISOL VIOLON JEROME NAULAIS Book binding.
common.buy 9 484 Ft
Tomie Deluxe Jens Ossa / Book Hardback
common.buy 11 827 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Software Engineering
Author Yamine Ait-Ameur, Shengchao Qin
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 528
EAN 9783030324087
Libristo code 24640083
Publishers Springer Nature Switzerland AG
Weight 836
Dimensions 155 x 235 x 30

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Lectures on Socialism, Etc. William Scoresby / Book Paperback
common.buy 6 961 Ft
Medical Image Computing and Computer Assisted Intervention - MICCAI 2020 Purang Abolmaesumi / Book Paperback
common.buy 39 688 Ft
Healthcare Transformation Maulik Joshi / Book Hardback
common.buy 96 001 Ft
HOR MOSAIC : OR, A DISSERTATION ON THE GEORGE STANLE FABER / Book Hardback
common.buy 14 979 Ft
Learning to Be: Finding Your Center After the Bottom Falls Out Tina Knowles Lawson / Book Paperback
common.buy 6 156 Ft
Hannibal Lecter and Philosophy Joseph Westfall / E-book Adobe ePub DRM
common.buy 7 298 Ft
Better Available Light Digital Photography FARACE / Book Hardback
common.buy 66 629 Ft
Sufficient Grace STEPHANIE MCCALL / Book Paperback
common.buy 6 859 Ft
Mayo Clinic Gastroenterology and Hepatology Board Review 6th Edition / Book Paperback
common.buy 53 965 Ft
A Spiritual Travel Guide to the World of God: Part I: Packing for the Journey Rabbi Michele Brand Medwin O D / Book Paperback
common.buy 5 348 Ft
Korean Genealogy Guide: A resource to help English speakers discover Korean ancestors... Jason Howard / Book Paperback
common.buy 3 956 Ft
Nasaan ang Pusa: A Filipino word & picture book Beaulah P Taguiwalo / Book Paperback
common.buy 3 282 Ft
The "PIE" Framework: A New Perspective on Teaching and Learning Judith Reifman Marcus / Book Paperback
common.buy 8 107 Ft
The Jungle book Rudyard Kipling / Book Paperback
common.buy 5 509 Ft
Appointment Graham Easton / Book Paperback
common.buy 5 260 Ft
Management of Micro and Nano-plastics in Soil and Biosolids Sartaj Ahmad Bhat / Book Hardback
common.buy 59 474 Ft
WTO and Food Security SACHIN KUMAR SHARMA / Book Paperback
common.buy 47 605 Ft
75 Ways to Be a Better Teacher Tomorrow Annette Breaux / Book Paperback
common.buy 10 991 Ft
Coming soon
Thurgood Marshall Kanefield / Book Hardback
common.buy 4 881 Ft
If Eyes Could See What the Heart Feels Wilsey Taylor / Book Paperback
common.buy 3 577 Ft
The book of Tea Kakuzō / Book Paperback
common.buy 3 901 Ft
On Desert Sands: Alone: Book 6 Allison Chandler / Book Paperback
common.buy 3 942 Ft
AQA A-level Biology Workbook 2 Jo Ormisher / Book Paperback
common.buy 5 597 Ft
Fawkes Nadine Brandes / E-book Adobe ePub DRM
common.buy 3 106 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?