Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Software Engineering and Formal Methods

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01659065

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2011

This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Celoten opis

Koda Libristo: 01659065

125 b

51.52 €

50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

Do 30 dni za vračilo

Drugi so kupili tudi

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

Knjiga

21.91 €

Ako funguje hasičské auto? Lara Bryan

Kartonka

7.47 €

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

Trda

12.62 €

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Mehka

44.44 €

TENEBRIS Michaela Brnková

Mehka

12.21 €

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

Mehka

2.01 €

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

binding.

25.75 €

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

Mehka

9.49 €

Perros detectores de cadáveres CAT WARREN

Trda

23.73 €

Kirchliche Hochschulen Ulrich Rhode

Trda

47.17 €

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

Knjiga

27.57 €

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

Trda

11.91 €

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Mehka

76.07 €

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

Mehka

30.10 €

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

Mehka

8.68 €

Le Role de la France Au Maroc Romagny-J

Mehka

16.56 €

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.