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.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Rocco de Nicola
Libristo code: 12580344
Publishers Springer International Publishing AG, June 2016
This book constitutes the proceedings of the 14th International Conference on Software Engineering a... Full description
? points 125 b
51.09 € 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

Musulmanes desiguales: Un estudio socioeconómico de Jharkhand Md Afroz / Book Paperback
common.buy 48.39 €
Top
Vrány Petra Dvořáková / Book Hardback
common.buy 12.49 €
Chirurgie pancréatique laparoscopique et robot-assistée Nassar / Book Book
common.buy 47.79 €
Color en el arte y el diseño Laura Perryman / E-book Adobe ePub DRM
common.buy 16.59 €
The Making of the Universe: Evolution the Continuous Process Which Derives the Finite from the Infinite Antoinette Louisa Brown Blackwell / Book Paperback
common.buy 20.49 €
Défense de l’Occident et la Garde de fer Dr Merlin / Book Paperback
common.buy 26.89 €
Вакансия третьего мужа Людмила Мартова / Book Paperback
common.buy 10.19 €
WP?YW NOWYCH TECHNOLOGII KOMUNIKACYJNYCH NA M?ODZIE? Erisela Marko / Book Paperback
common.buy 51.99 €
Narrativa(s) en ficción televisiva y cinematográfica Cobo-Durán / Book Paperback
common.buy 25.49 €
Franc-maconnerie rendue intelligible a ses adeptes Oswald Wirth / Book Paperback
common.buy 20.79 €
Femdom LAURA GARMENDI / Book Paperback
common.buy 21.79 €
El diàleg dels insectes JESUS RODRIGUEZ PICO / Book Hardback
common.buy 10.99 €
Briefwechsel zwischen Adolf von Harnack und Martin Rade ADOLF VON HARNACK / Book Hardback
common.buy 340.00 €
Respuesta psico-fisiológia en diferentes situaciones de combate Vicente Javier Clemente Suárez / Book Paperback
common.buy 101.99 €
Los MIL y un DIAS: Cuentos Juveniles Cortos MS Ann a Guerra Author / Book Paperback
common.buy 37.69 €
Memorias de un impostor (Tomo 2) Vicente Riva Palacio / Book Paperback
common.buy 11.59 €
J. R. Moet Et Ses Successeurs (Ed.1867) Sans Auteur / Book Paperback
common.buy 16.99 €
Gesammelte Schriften Uwe H. Schneider / Book Hardback
common.buy 182.09 €

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.?The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development 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 Software Engineering and Formal Methods
Author Rocco de Nicola, Eva Kühn
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 419
EAN 9783319415901
ISBN 3319415905
Libristo code 12580344
Publishers Springer International Publishing AG
Weight 6555
Dimensions 155 x 235 x 27

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Peer-Led Team Learning: Evaluation, Dissemination, and Institutionalization of a College Level Initiative Leo Gafney / Book Hardback
common.buy 112.39 €
The Life She Forgot Joanna Davidson Politano / Book Paperback
common.buy 18.69 €
The Turtle and The Crane Daniel Murray / Book Paperback
common.buy 9.79 €
Papa and Jason's Backyard Zoo Curtis L. Ivery / Book Hardback
common.buy 24.39 €
The Shea Ernshaw Bindup: The Wicked Deep; Winterwood Ernshaw / Book Paperback
common.buy 11.49 €
Elementary Chinese Shau W. Chan / Book Hardback
common.buy 35.99 €
Soul Flame Ashlee Law / Book Paperback
common.buy 12.49 €
The Northern Railroads In The Civil War, 1861-1865 Thomas Weber / Book Paperback
common.buy 34.19 €
Speak, Lord, I'm Listening INGRID GREEN ADAMS / Book Paperback
common.buy 18.59 €
Neutron Interferometry Helmut Rauch / Book Paperback
common.buy 83.79 €
BULLETIN VOLUME 08 University Of Dept of Cerami Illinois / Book Hardback
common.buy 25.99 €
The Gothic Image: Religious Art in France in the Thirteenth-Century Emile M[le / Book Paperback
common.buy 54.39 €
British Drama 1533-1642: A Catalogue Martin Wiggins / Book Hardback
common.buy 246.29 €
Industrial Democracy Vol. II. Beatrice Potter Webb / Book Paperback
common.buy 27.49 €
Sustainability in Hospitality Miguel Angel Gardetti / Book Hardback
common.buy 237.29 €
Descriptive Catalogue of the Several Superb and Magnificent Pieces of Mechanism and Jewellery, Exhibited in the Museum, at Spring-Gardens, Charing-Cro James Cox / Book Paperback
common.buy 15.69 €
Caribbean HIV/AIDS Readers Justin's Graduation Natalie N. Knight / Book Paperback
common.buy 5.09 €
Roar, Royals & More Hot Singles: Simple Arrangements for Students of All Ages Hal Leonard Publishing Corporation / Book Paperback
common.buy 10.09 €
Mandalas to Crochet Haafner Linssen / Book Paperback
common.buy 13.79 €
Coulomb's Memoir On Statics: An Essay In The History Of Civil Engineering Jacques Heyman / Book Paperback
common.buy 46.79 €
Laboratory Design, Construction, and Renovation Committee on Design / Book Paperback
common.buy 51.99 €

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?