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
DPD courier 4.99 € GLS courier 9.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.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gesammelte Schriften Uwe H. Schneider / Book Hardback
common.buy 193.35 €
Memorias de un impostor (Tomo 2) Vicente Riva Palacio / Book Paperback
common.buy 12.09 €
Los MIL y un DIAS: Cuentos Juveniles Cortos MS Ann a Guerra Author / Book Paperback
common.buy 39.02 €
Femdom LAURA GARMENDI / Book Paperback
common.buy 22.68 €
Respuesta psico-fisiológia en diferentes situaciones de combate Vicente Javier Clemente Suárez / Book Paperback
common.buy 25.91 €
Défense de l’Occident et la Garde de fer Dr Merlin / Book Paperback
common.buy 30.96 €

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

Caribbean HIV/AIDS Readers Justin's Graduation Natalie N. Knight / Book Paperback
common.buy 4.73 €
The Turtle and The Crane Daniel Murray / Book Paperback
common.buy 10.28 €
The Shea Ernshaw Bindup: The Wicked Deep; Winterwood Ernshaw / Book Paperback
common.buy 12.09 €
Speak, Lord, I'm Listening INGRID GREEN ADAMS / Book Paperback
common.buy 19.26 €
BULLETIN VOLUME 08 University Of Dept of Cerami Illinois / Book Hardback
common.buy 26.82 €
The Gothic Image: Religious Art in France in the Thirteenth-Century Emile M[le / Book Paperback
common.buy 55.77 €
Roar, Royals & More Hot Singles: Simple Arrangements for Students of All Ages Hal Leonard Publishing Corporation / Book Paperback
common.buy 9.67 €
Industrial Democracy Vol. II. Beatrice Potter Webb / Book Paperback
common.buy 31.56 €
Peer-Led Team Learning: Evaluation, Dissemination, and Institutionalization of a College Level Initiative Leo Gafney / Book Hardback
common.buy 114.17 €

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?