Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658105

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2011

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods... Celý popis

Libristo kód: 01658105

136 b

55.87 €

Skladom u dodávateľa v malom množstve Odosielame za 9-15 dní

Až 30 dní na vrátenie tovaru

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.