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

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Gilles Barthe
Libristo code: 01659065
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Full description
? points 139 b
57.22 €
50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Book Book
common.buy 24.01 €
Teoría crítico-estructuralista del Derecho mercantil Salomão Filho / Book Paperback
common.buy 37.33 €
Histoire Géographie Histoire des Arts CM2 Goasdoue / Book Paperback
common.buy 21.99 €
Ako funguje hasičské auto? Lara Bryan / Book Board book
common.buy 8.77 €
TENEBRIS Michaela Brnková / Book Paperback
common.buy 13.82 €
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Book Paperback
common.buy 2.31 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Book Hardback
common.buy 14.22 €
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Book binding.
common.buy 28.15 €
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Book Paperback
common.buy 9.98 €
LUCES Y SOMBRAS DE LA CULTURA CATÓLICA EN EL SIGLO XX Antonio Martín Puerta / Book Paperback
common.buy 23.20 €
Perros detectores de cadáveres CAT WARREN / Book Hardback
common.buy 25.93 €
Kirchliche Hochschulen Ulrich Rhode / Book Hardback
common.buy 49.75 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Book Hardback
common.buy 12.71 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Book Paperback
common.buy 80.43 €
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Book Paperback
common.buy 33.09 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Book Paperback
common.buy 9.17 €
Le Role de la France Au Maroc Romagny-J / Book Paperback
common.buy 17.35 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Book Book
common.buy 29.36 €
Dr. Martin Luther Wilhelm Behrendt / Book Paperback
common.buy 29.36 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Book Paperback
common.buy 47.12 €

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage 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 Gilles Barthe, Alberto Pardo, Gerardo Schneider
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 504
EAN 9783642246890
ISBN 3642246893
Libristo code 01659065
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 777
Dimensions 155 x 235 x 30

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 > 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

Modern Theory of Crystal Growth I A.A. Chernov / Book Paperback
common.buy 102.73 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Book Paperback
common.buy 9.68 €
The House of Barbary Isabelle Schuler / Book Paperback
common.buy 16.04 €
Business Model Innovation DANIELA ANDREINI / Book Paperback
common.buy 123.22 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Book Paperback
common.buy 15.03 €
Briana's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Book Paperback
common.buy 7.66 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Book Hardback
common.buy 28.86 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Book Paperback
common.buy 15.43 €
Top
Infernium Julie Belfield / Book Hardback
common.buy 27.44 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Book Hardback
common.buy 179.14 €
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Book Paperback
common.buy 2.82 €
Junji Ito Collection Coloring Book Junji Ito / Book Paperback
common.buy 12.10 €
Resurrection Of A Dying Breed Abdul Damal Chappell / Book Paperback
common.buy 14.83 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Book Paperback
common.buy 19.27 €
Positive School Leadership Joseph F. Murphy / Book Paperback
common.buy 45.51 €
Janus Conspiracy MICHAEL DAVIES / Book Paperback
common.buy 22.19 €
New Names for Lost Things Noor Unnahar / Book Paperback
common.buy 10.79 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Book Paperback
common.buy 9.38 €
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Book Hardback
common.buy 39.96 €
Loud House #10 The Loud House Creative Team / Book Hardback
common.buy 12.51 €
Leo Calder and Lucile Hacking Calder's Letters: 1953-1956 Marie Calder Ricks / Book Paperback
common.buy 14.73 €
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Book Hardback
common.buy 20.18 €
Seduced by Success Ann Kiemel Anderson / Book Paperback
common.buy 16.34 €
Tapestry of the Law E. Attwooll / Book Paperback
common.buy 102.73 €

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?