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.49 €
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.69 €
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 44.91 €
PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO Rama Devi Burri / Book Paperback
common.buy 39.25 €
Die Bruce-Partington-Plane Arthur Conan Doyle / E-book Adobe ePub DRM
common.buy 2.22 €
Poison Ivy: Metamorphose Marcio Takara / Book Paperback
common.buy 16.48 €
Zamknięte drzwi McFadden Freida / Book Paperback
common.buy 10.21 €
Précis de calcul mental pour le pilote - 2e édition Heintz / Book Paperback
common.buy 25.28 €
Blicki blickt's Dirk Hendler / Book Board book
common.buy 8.59 €
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.07 €
Didaktische Konsequenzen aus einer Unterrichts- und Ergebnisanalyse fur das Arbeiten mit dynamischer Geometriesoftware Christopher Merzinsky / Book Paperback
common.buy 42.79 €
Pferde-Instructor Leopold Ottofy / Book Paperback
common.buy 23.67 €
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.95 €
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 32.27 €
Introducción a la lógica y al método científico, Vol. II Cohen / Book Paperback
common.buy 16.89 €
tasse invisibili. L'inganno di stato che toglie a tutti per dare a pochi Nicola Porro / Book Hardback
common.buy 19.42 €
Die Magie der Erinnerung - Das Schwert der Wahrheit Caspar Holz / Book Paperback
common.buy 12.64 €
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.93 €
Trésors des racines grecques et latines Delrieu / Book Hardback
common.buy 28.62 €
MARISOL VIOLON JEROME NAULAIS Book binding.
common.buy 26.70 €
Tomie Deluxe Jens Ossa / Book Hardback
common.buy 30.34 €

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.99 €
Healthcare Transformation Maulik Joshi / Book Hardback
common.buy 257.89 €
Management of Micro and Nano-plastics in Soil and Biosolids Sartaj Ahmad Bhat / Book Hardback
common.buy 154.39 €
HOR MOSAIC : OR, A DISSERTATION ON THE GEORGE STANLE FABER / Book Hardback
common.buy 39.25 €
Learning to Be: Finding Your Center After the Bottom Falls Out Tina Knowles Lawson / Book Paperback
common.buy 15.77 €
Hannibal Lecter and Philosophy Joseph Westfall / E-book Adobe ePub DRM
common.buy 20.63 €
Better Available Light Digital Photography FARACE / Book Hardback
common.buy 172.60 €
Mayo Clinic Gastroenterology and Hepatology Board Review 6th Edition / Book Paperback
common.buy 142.55 €
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 €
Korean Genealogy Guide: A resource to help English speakers discover Korean ancestors... Jason Howard / Book Paperback
common.buy 10.31 €
Nasaan ang Pusa: A Filipino word & picture book Beaulah P Taguiwalo / Book Paperback
common.buy 8.59 €
The "PIE" Framework: A New Perspective on Teaching and Learning Judith Reifman Marcus / Book Paperback
common.buy 21.14 €
The Jungle book Rudyard Kipling / Book Paperback
common.buy 14.36 €
Appointment Graham Easton / Book Paperback
common.buy 13.95 €
WOLFS DAUGHTER A WEREWOLFS TALE V01 V01 / Book Paperback
common.buy 11.32 €
WTO and Food Security SACHIN KUMAR SHARMA / Book Paperback
common.buy 123.53 €
75 Ways to Be a Better Teacher Tomorrow Annette Breaux / Book Paperback
common.buy 28.32 €
Coming soon
Thurgood Marshall Kanefield / Book Hardback
common.buy 12.84 €
If Eyes Could See What the Heart Feels Wilsey Taylor / Book Paperback
common.buy 9.20 €
The book of Tea Kakuzō / Book Paperback
common.buy 10.01 €
On Desert Sands: Alone: Book 6 Allison Chandler / Book Paperback
common.buy 10.31 €
AQA A-level Biology Workbook 2 Jo Ormisher / Book Paperback
common.buy 15.07 €
Fawkes Nadine Brandes / E-book Adobe ePub DRM
common.buy 8.79 €

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