Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659065
Price: 59.39 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642246890

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

Gilles Barthe

Alberto Pardo

Gerardo Schneider

Language

English

Book Paperback

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

Libristo code: 01659065

145 b

59.39 € VAT included

50 % chance We search the world When will I receive my book?

Delivery to Austria

Up to 30 days for returns

Customers also purchased

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN

Book

24.79 €

Teoría crítico-estructuralista del Derecho mercantil Salomão Filho

Paperback

38.49 €

Histoire Géographie Histoire des Arts CM2 Goasdoue

Paperback

22.79 €

Ako funguje hasičské auto? Lara Bryan

Board book

9.39 €

TENEBRIS Michaela Brnková

Paperback

14.49 €

Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová

Paperback

2.49 €

Jak myšák Felix zachránil Vánoce Alex T. Smith

Hardback

14.89 €

PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Book

binding.

29.19 €

Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba

Paperback

10.49 €

LUCES Y SOMBRAS DE LA CULTURA CATÓLICA EN EL SIGLO XX Antonio Martín Puerta

Paperback

24.09 €

Perros detectores de cadáveres CAT WARREN

Hardback

26.89 €

Kirchliche Hochschulen Ulrich Rhode

Hardback

51.79 €

Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen

Hardback

14.99 €

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Paperback

84.09 €

El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber

Paperback

34.19 €

Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman

Paperback

9.59 €

Le Role de la France Au Maroc Romagny-J

Paperback

18.09 €

VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp

Book

34.90 €

Dr. Martin Luther Wilhelm Behrendt

Paperback

32.90 €

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Paperback

52.95 €

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.