Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659065
Price: 20369 HUF
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

139 b

20 369 Ft

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

8 563 Ft

Histoire Géographie Histoire des Arts CM2 Goasdoue

Paperback

7 841 Ft

Ako funguje hasičské auto? Lara Bryan

Board book

3 126 Ft

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Paperback

18 359 Ft

TENEBRIS Michaela Brnková

Paperback

4 844 Ft

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

Paperback

838 Ft

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

Hardback

5 067 Ft

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

binding.

10 045 Ft

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

Paperback

3 909 Ft

Perros detectores de cadáveres CAT WARREN

Hardback

9 240 Ft

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

Book

11 486 Ft

Kirchliche Hochschulen Ulrich Rhode

Hardback

19 197 Ft

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

Hardback

4 993 Ft

Le Role de la France Au Maroc Romagny-J

Paperback

6 683 Ft

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Paperback

31 164 Ft

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

Paperback

11 764 Ft

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

Paperback

3 552 Ft

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.