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.

FM 2011: Formal Methods

Name: FM 2011: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658105
Price: 55.87 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783642214363

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Michael Butler

Wolfram Schulte

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01658105

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

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods... Celoten opis

Koda Libristo: 01658105

136 b

55.87 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 9-15 dneh

Do 30 dni za vračilo

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. §The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.