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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Coming soon
Antike II Mac Gerdts / Game/Toy Game
common.buy 44.90 €
Poison Ivy: Metamorphose Marcio Takara / Book Paperback
common.buy 16.48 €
Die Bruce-Partington-Plane Arthur Conan Doyle / E-book Adobe ePub DRM
common.buy 2.22 €
PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO Rama Devi Burri / Book Paperback
common.buy 39.24 €
Zamknięte drzwi McFadden Freida / Book Paperback
common.buy 8.99 €
Blicki blickt's Dirk Hendler / Book Board book
common.buy 8.59 €
Précis de calcul mental pour le pilote - 2e édition Heintz / Book Paperback
common.buy 25.08 €
Coming soon
Karel Kramář – 150 let od narození - Sborník textů collegium / Book Paperback
common.buy 5.96 €
SPA-MONJA Y CASADA VIRGEN Y MA Vicente 1832-1896 Riva Palacio / Book Hardback
common.buy 41.06 €
Didaktische Konsequenzen aus einer Unterrichts- und Ergebnisanalyse fur das Arbeiten mit dynamischer Geometriesoftware Christopher Merzinsky / Book Paperback
common.buy 42.78 €
Pferde-Instructor Leopold Ottofy / Book Paperback
common.buy 23.66 €
Biene und die Bienenzucht im Altertume Raymond Billiard / Book Paperback
common.buy 33.88 €
Buchdruckereien zu Worms am Rhein im 16. Jahrhundert Ferdinand Wilhelm Emil Roth / Book Paperback
common.buy 30.84 €
Kleine Katze Chi. Bd.11 Konami Kanata / Book Paperback
common.buy 10.31 €
Tratado de podología y arte de herrar Heinrid Muller / Book Paperback
common.buy 28.92 €
Introducción a la lógica y al método científico, Vol. II Cohen / Book Paperback
common.buy 15.26 €
tasse invisibili. L'inganno di stato che toglie a tutti per dare a pochi Nicola Porro / Book Hardback
common.buy 19.41 €
Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz / Book Paperback
common.buy 12.63 €
Jízda v levém pruhu Marek Orko Vácha / Book Book
common.buy 10.11 €
FOUNDATION STUDIES FOR THE VIOLA, BOOK 2 ALTO FRANZ WOHLFAHRT Book binding.
common.buy 37.72 €
Trésors des racines grecques et latines Delrieu / Book Hardback
common.buy 28.41 €
MARISOL VIOLON JEROME NAULAIS Book binding.
common.buy 26.59 €
Tomie Deluxe Jens Ossa / Book Hardback
common.buy 30.24 €

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 18.20 €
Medical Image Computing and Computer Assisted Intervention - MICCAI 2020 Purang Abolmaesumi / Book Paperback
common.buy 102.97 €
Refactoring for Software Design Smells Girish Suryanarayana / Book Paperback
common.buy 78.39 €
Elements of Retrofit N.R. WALKER / Book Paperback
common.buy 13.14 €
If Eyes Could See What the Heart Feels Wilsey Taylor / Book Paperback
common.buy 9.20 €
Wildlife Gardening BRADBURY KATE / Book Paperback
common.buy 18.10 €
75 Ways to Be a Better Teacher Tomorrow Annette Breaux / Book Paperback
common.buy 28.31 €
WTO and Food Security SACHIN KUMAR SHARMA / Book Paperback
common.buy 123.50 €
Meets The Wailers United - Unbreakable, 1 Audio-CD Alborosie/Wailers / Audio Audio CD
common.buy 23.05 €
Changing Practices of International Law Tanja Aalberts / Book Hardback
common.buy 137.36 €
Healthcare Transformation Maulik Joshi / Book Hardback
common.buy 257.74 €
Appointment Graham Easton / Book Paperback
common.buy 14.46 €
The Jungle book Rudyard Kipling / Book Paperback
common.buy 14.35 €
The "PIE" Framework: A New Perspective on Teaching and Learning Judith Reifman Marcus / Book Paperback
common.buy 21.13 €
Nasaan ang Pusa: A Filipino word & picture book Beaulah P Taguiwalo / Book Paperback
common.buy 8.59 €
Korean Genealogy Guide: A resource to help English speakers discover Korean ancestors... Jason Howard / Book Paperback
common.buy 10.31 €
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 13.95 €
Mayo Clinic Gastroenterology and Hepatology Board Review 6th Edition / Book Paperback
common.buy 142.52 €
Coming soon
Thurgood Marshall Kanefield / Book Hardback
common.buy 12.84 €
Sufficient Grace STEPHANIE MCCALL / Book Paperback
common.buy 18.00 €
The book of Tea Kakuzō / Book Paperback
common.buy 10.00 €
On Desert Sands: Alone: Book 6 Allison Chandler / Book Paperback
common.buy 10.31 €
New Granada: Twenty Months In The Andes Isaac Farwell Holton / Book Hardback
common.buy 59.98 €
AQA A-level Biology Workbook 2 Jo Ormisher / Book Paperback
common.buy 15.06 €

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?