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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01659032
Price: 51.63 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642245589

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin

Zongyan Qiu

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01659032

Nakladateľstvo Springer, Berlin, november 2010

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Celý popis

Libristo kód: 01659032

125 b

51.63 €

Skladom u dodávateľa Odosielame za 8-11 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone

Brožovaná

81.44 €

Akademia owoce Opracowanie zbiorowe

Brožovaná

2.62 €

Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A

Brožovaná

25.05 €

Die Â«andereÂ» Familie Arbeitskreis "Repräsentationen"

Pevná

120.55 €

Commentaria in decem Categorias Aristotelis Simplicius

Pevná

169.35 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.