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

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.26 €
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 23.77 €
Top
Tengo miedo torero PEDRO LEMEBEL / Book Paperback
common.buy 17.39 €
Teoría crítico-estructuralista del Derecho mercantil Salomão Filho / Book Paperback
common.buy 37.32 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Book Hardback
common.buy 13.04 €
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Book Paperback
common.buy 2.32 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Book Paperback
common.buy 47.24 €
Dr. Martin Luther Wilhelm Behrendt / Book Paperback
common.buy 29.43 €
Die Löwen von Onur Sandra Gernt / Book Paperback
common.buy 17.09 €
TENEBRIS Michaela Brnková / Book Paperback
common.buy 13.75 €
Ako funguje hasičské auto? Lara Bryan / Book Board book
common.buy 9.30 €
Histoire Géographie Histoire des Arts CM2 Goasdoue / Book Paperback
common.buy 21.84 €
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Book binding.
common.buy 28.02 €
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Book Paperback
common.buy 10.01 €
LUCES Y SOMBRAS DE LA CULTURA CATÓLICA EN EL SIGLO XX Antonio Martín Puerta / Book Paperback
common.buy 23.26 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Book Book
common.buy 29.43 €
Perros detectores de cadáveres CAT WARREN / Book Hardback
common.buy 25.99 €
Kirchliche Hochschulen Ulrich Rhode / Book Hardback
common.buy 49.77 €
Le Role de la France Au Maroc Romagny-J / Book Paperback
common.buy 17.39 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Book Hardback
common.buy 12.74 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Book Paperback
common.buy 80.63 €
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.08 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Book Paperback
common.buy 9.20 €

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.99 €
The House of Barbary Isabelle Schuler / Book Paperback
common.buy 15.98 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Book Paperback
common.buy 9.60 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Book Paperback
common.buy 15.07 €
Business Model Innovation DANIELA ANDREINI / Book Paperback
common.buy 123.53 €
Loud House #10 The Loud House Creative Team / Book Hardback
common.buy 10.61 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Book Hardback
common.buy 179.58 €
Top
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Book Paperback
common.buy 3.03 €
Resurrection Of A Dying Breed Abdul Damal Chappell / Book Paperback
common.buy 14.86 €
To all Those with Aberrant Brains!: The Complete Works of Freidrich Nietzche Friedrich Nietzche / Book Paperback
common.buy 10.31 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Book Paperback
common.buy 19.32 €
Positive School Leadership Joseph F. Murphy / Book Paperback
common.buy 45.52 €
Janus Conspiracy MICHAEL DAVIES / Book Paperback
common.buy 22.25 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Book Paperback
common.buy 9.40 €
Top
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Book Hardback
common.buy 40.06 €
Leo Calder and Lucile Hacking Calder's Letters: 1953-1956 Marie Calder Ricks / Book Paperback
common.buy 14.76 €
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Book Hardback
common.buy 20.23 €
New Names for Lost Things Noor Unnahar / Book Paperback
common.buy 10.82 €
Top
Junji Ito Collection Coloring Book Junji Ito / Book Paperback
common.buy 12.13 €
Top
Infernium Julie Belfield / Book Hardback
common.buy 27.51 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Book Paperback
common.buy 15.47 €
Top
PAWS FOR LOVE 500PC PUZZLE GALISON / Game/Toy Jigsaw puzzle
common.buy 14.46 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Book Hardback
common.buy 28.93 €
Top
Poirot Investigates Agatha Christie / Book Hardback
common.buy 14.86 €

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?