Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Software Engineering and Formal Methods

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

Limba

engleză

Carte Carte broșată

Codul Libristo: 01659065

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2011

This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Descrierea completă

Codul Libristo: 01659065

139 b

299.65 lei

șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Carte

125.95 lei

Ako funguje hasičské auto? Lara Bryan

Cărți pliante

46.06 lei

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

Copertă tare

74.49 lei

Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker

Carte broșată

261.46 lei

TENEBRIS Michaela Brnková

Carte broșată

71.48 lei

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

Carte broșată

12.34 lei

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

binding.

147.74 lei

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

Carte broșată

55.50 lei

Perros detectores de cadáveres CAT WARREN

Copertă tare

135.91 lei

Kirchliche Hochschulen Ulrich Rhode

Copertă tare

274.23 lei

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

Carte

163.31 lei

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

Copertă tare

70.86 lei

La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE

Carte broșată

444.70 lei

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

Carte broșată

173.06 lei

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

Carte broșată

50.73 lei

Le Role de la France Au Maroc Romagny-J

Carte broșată

95.76 lei

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.