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

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods George Eleftherakis
Libristo code: 01662280
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the refereed proceedings of the 10th International Conference on Software Engi... Full description
? points 125 b
51.66 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

El cuidado de tu caballo Cherry Hill / Book Paperback
common.buy 25.17 €
Tom Gatesin Harika Dünyasi Liz Pichon / Book Paperback
common.buy 18.09 €
Le Grand Meaulnes Alain-Fournier / Book Paperback
common.buy 10.20 €
Unter Robben und Eisbaren. Meine ersten Erlebnisse im Eismeer Fridtjof Nansen / Book Paperback
common.buy 22.44 €
LESEZUG/2. Klasse: Drachen mögen keinen Schluckauf Daniela Jarosz / Book Hardback
common.buy 9.09 €
Schachmatt! Garri Kasparow / Book Hardback
common.buy 12.73 €
Der Sterne Tennisbälle Stephen Fry / Book Paperback
common.buy 15.26 €

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical 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 Software Engineering and Formal Methods
Author George Eleftherakis, Mike Hinchey, Mike Holcombe
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 384
EAN 9783642338250
ISBN 3642338259
Libristo code 01662280
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 611
Dimensions 155 x 235 x 22

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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

Northamptonshire Home Guard 1940-1945 B. G. Holloway / Book Paperback
common.buy 21.22 €
Experiments Upon the Heart of the Dog William Henry Howell / Book Paperback
common.buy 11.92 €
My Grampy is Santa Claus Byranna Kaster / Book Paperback
common.buy 10.30 €
Make It Work: 22 Time-Tested, Real-Life Lessons for Sustaining a Healthy, Happy Relationship Gaskins / Book Paperback
common.buy 17.58 €
Adventures of the Ramrod Rider John D Nesbitt / Book Paperback
common.buy 14.75 €
Grotesquerie Eden Royce / Book Paperback
common.buy 17.48 €
GI Surgery Annual Peush Sahni / Book Hardback
common.buy 100.70 €
Handbook of Multilingualism and Multilingual Communication Peter Auer / Book Paperback
common.buy 40.03 €
Jayda's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.76 €
The South During Reconstruction, 1865--1877: A History of the South E. Merton Coulter / Book Hardback
common.buy 79.97 €
Lincoln Lincoln Historical Society / Book Paperback
common.buy 20.82 €
Early Democracies in the Low Countries Henri Pirenne / Book Paperback
common.buy 20.31 €
Brochs of Scotland J. N. Graham Ritchie / Book Paperback
common.buy 9.60 €
Educational Innovation in Economics and Business III Richard G. Milter / Book Hardback
common.buy 154.29 €

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?