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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Jing Sun
Libristo code: 20235109
Publishers Springer Nature Switzerland AG, October 2018
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engine... Full description
? points 118 b
48.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Diktaturen in Europa im 20. Jahrhundert - der Fall DDR. Heiner Timmermann / Book Paperback
common.buy 139.90 €
Un approccio filologico all'inglese Mohammed Guamguami / Book Paperback
common.buy 29.89 €
Design Patterns mit Java Olaf Musch / Book Paperback
common.buy 49.99 €
sfida Patrick Süskind / Book Hardback
common.buy 13.39 €
Le chateau de Verneuil Adolphe Poujol / Book Hardback
common.buy 29.09 €
Le Capitaine Curebourse: Histoire Du Temps de Charles IX Ponson Du Terrail / Book Paperback
common.buy 35.79 €
Burgen in Schleswig-Holstein Oliver Auge / Book Hardback
common.buy 32.00 €
Projet d'Un Chemin de Fer de Paris A Strasbourg Par Les Vallees de l'Oise & de l'Aisne. Creil, Nancy "" / Book Paperback
common.buy 12.99 €
Subjektive Reichweite Internationaler Schiedsvereinbarungen Und Ihre Erstreckung in Der Unternehmensgruppe Jan-Michael Ahrens / Book Hardback
common.buy 87.30 €
Anatomía del Yoga LESLIE KAMINOFF / Book Paperback
common.buy 31.79 €
Behandlung Des Eigentumsvorbehaltes Nach Der Insolvenzrechtsreform Unter Besonderer Beruecksichtigung Der Eg-Verordnung Ueber Insolvenzverfahren Natascha Kupka / Book Paperback
common.buy 79.99 €

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal 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 Jing Sun, Meng Sun
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 474
EAN 9783030024499
Libristo code 20235109
Publishers Springer Nature Switzerland AG
Weight 753
Dimensions 155 x 235 x 27

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Republic lato / Book Paperback
common.buy 14.99 €
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Book Hardback
common.buy 35.49 €
Microbial Biofilms Dharumadurai Dhanasekaran / Book Hardback
common.buy 144.69 €
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Book Paperback
common.buy 22.69 €
Devil's Charter Barnabe Barnes / Book Hardback
common.buy 32.89 €
Pierre Koenig - A View from the Archive Neil Jackson / Book Hardback
common.buy 54.09 €
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Book Paperback
common.buy 16.19 €
Bible Cure for Candida and Yeast Infections Don Colbert / Book Paperback
common.buy 6.69 €
Poetics on Edge: The Poetry and Prose of Sylvia Plath Silvianne Blosser / Book Paperback
common.buy 99.59 €
Not Bobby - A Play N J Warburton / Book Paperback
common.buy 13.79 €
Fury in the Shadow Gil Howard / Book Paperback
common.buy 13.89 €
Stars Richard Dyer / Book Paperback
common.buy 42.79 €
Complete Guide to Slowpitch Softball Rainer Martens / Book Paperback
common.buy 20.49 €
Wealth Management in the New Economy - Investor Strategies for Growing Protecting and Transferring Wealth Norbert M Mindel / Book Hardback
common.buy 27.39 €
Embellished Bras Dawn Devine / Book Paperback
common.buy 18.39 €
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Book Paperback
common.buy 51.19 €

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?