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.

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Antonio Cerone
Libristo code: 18737533
Publishers Springer International Publishing AG, February 2018
This book constitutes revised selected papers from the five workshops collocated with the 15th Inter... Full description
? points 184 b
75.82 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Hansel y Gretel: La Novela Grafica Hans Christian Andersen / Book Paperback
common.buy 8.84 €
Vivre avec les robots Paul Dumouchel / Book Paperback
common.buy 25.13 €
Don Quijote y el absoluto : algunos aspectos teológicos de la obra de Cervantes Torres Antoñanzas / Book Paperback
common.buy 20.21 €
Chimie Des Vegetaux Sacc-F / Book Paperback
common.buy 21.11 €
PILOT náplň FriXion 05 růžová-sada 3ks / Stationery items Stationery items
common.buy 4.42 €
Baltimore 5: Apoštol a čarodějnice Christopher Golden / Book Hardback
common.buy 19.00 €
La evolución sin sentido Eudald Carbonell i Roura / Book Paperback
common.buy 22.12 €
Introduction à la topologie de jacques lacan Nasio / Book Book
common.buy 9.85 €
GRANADA CAPRICHO DE LA NATURALEZA Y DE LA HISTORIA Sánchez Peinado / Book Book
common.buy 9.14 €
Erleuchtung im Augenblick des Todes Engelbert Winkler / Book Paperback
common.buy 10.45 €
Il regno periodico. Viaggio nel mondo degli elementi chimici Peter Watkins / Book Paperback
common.buy 16.69 €
Le droit au soutien de l'investissement dans le sport Sakho / Book Paperback
common.buy 20.51 €
Top
Atlas del mundo Mizielinska / Book Paperback
common.buy 33.88 €

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium "From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.

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 Software Engineering and Formal Methods
Author Antonio Cerone, Marco Roveri
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 592
EAN 9783319747804
ISBN 3319747800
Libristo code 18737533
Publishers Springer International Publishing AG
Weight 914
Dimensions 155 x 235 x 28

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

A Song of Bullets Lizzy Shannon / Book Paperback
common.buy 12.97 €
Apex Book of World SF Lauren Beukes / Book Paperback
common.buy 18.29 €
Top
Picopaco Mojca Novak / Book Hardback
common.buy 13.87 €
Gaddafi's Harem Annick Cojean / E-book Adobe ePub DRM
common.buy 7.64 €
History of Scotland John Hill Burton / Book Paperback
common.buy 61.94 €
Everything is Figureoutable Marie Forleo / Book Paperback
common.buy 10.75 €
AQA AS And A Level Music Study Guide Richard Knight / Book Book
common.buy 41.53 €
Top
Time Machine H G Wells / Book Paperback
common.buy 9.65 €
Learning To Listen 2 TB Lougheed / Book Paperback
common.buy 23.93 €
Joan: The Mysterious Life of the Heretic Who Became a Saint Donald Spoto / Book Paperback
common.buy 13.07 €
Quintana of Charyn Melina Marchetta / Book Hardback
common.buy 17.59 €
Peugeot 106 Haynes Publishing / Book Paperback
common.buy 42.63 €
Lily of St. Paul's William Davy Watson / Book Paperback
common.buy 39.01 €
Seeking Inner Peace and Financial Freedom Jim Lewis / Book Paperback
common.buy 16.38 €
Aragon Cataluna - Michelin Regional Map 574 Michelin / Printed items Map
common.buy 7.43 €
Ultra Wideband Systems with MIMO Thomas Kaiser / Book Hardback
common.buy 157.19 €
Unbroken Laura Hillenbrand / Book Paperback
common.buy 13.87 €
Biomechanics of the Female Pelvic Floor Lennox Hoyte / Book Hardback
common.buy 219.55 €
Top
100 Paper Planes to Fold and Fly Andy Tudor / Book Paperback
common.buy 9.65 €
Freedom In Our Lifetime Anton Muziwakhe Lembede / Book Hardback
common.buy 46.56 €
Economic Models of Trade Unions P. Garonna / Book Paperback
common.buy 102.38 €
Chosen One Graham Watson / Book Paperback
common.buy 13.47 €
Complete Guide to Sausage Making Monte Burch / Book Paperback
common.buy 13.77 €
Where'd You Get Those? 10th Anniversary Edition - New York City's Sneaker Culture Bobbito Garcia / Book Hardback
common.buy 49.47 €

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?