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 Cargus 28.00 lei Easybox 20.00 lei FAN 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.

FM 2012: Formal Methods

Name: FM 2012: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661952
Price: 285.47 RON
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783642327582

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Dimitra Giannakopoulou

Dominique Mery

Limba

engleză

Carte Carte broșată

Codul Libristo: 01661952

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2012

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Descrierea completă

Codul Libristo: 01661952

132 b

285.47 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Dárek z pouti Luboš Kafka

Copertă tare

127.17 lei

Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan

Carte broșată

237.49 lei

Das große Limpert-Buch der Zirkuskünste Stefan Eberherr

Copertă tare

198.25 lei

Furstenfeldbruck-Literarisch Angelika Mundorff

Carte broșată

75.03 lei

Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova

Carte broșată

306.28 lei

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico

Adobe ePub DRM

34.44 lei

Postdata E.M.A

Carte broșată

88.45 lei

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.