Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Software Engineering and Formal Methods

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

Język

Angielski

Książka Miękka

Kod Libristo: 01659065

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2011

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

Kod Libristo: 01659065

139 b

243.42 zł

50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

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

Książka

102.23 zł

Ako funguje hasičské auto? Lara Bryan

Leporelo

37.42 zł

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

Twarda

57.05 zł

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Miękka

200.75 zł

TENEBRIS Michaela Brnková

Miękka

58.96 zł

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

Miękka

9.95 zł

PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Książka

binding.

119.94 zł

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

Miękka

47.99 zł

Perros detectores de cadáveres CAT WARREN

Twarda

110.69 zł

Kirchliche Hochschulen Ulrich Rhode

Twarda

258.51 zł

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

Książka

124.87 zł

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

Twarda

63.79 zł

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Miękka

342.54 zł

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

Miękka

141.08 zł

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

Miękka

39.14 zł

Le Role de la France Au Maroc Romagny-J

Miękka

74.16 zł

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.