Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01659032
Price: 1182 CZK
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

Nakladatelství Springer, Berlin, listopad 2010

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

Libristo kód: 01659032

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

1 863 Kč

Akademia owoce Opracowanie zbiorowe

Brožovaná

63 Kč

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

Brožovaná

606 Kč

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

Pevná

2 920 Kč

Commentaria in decem Categorias Aristotelis Simplicius

Pevná

4 103 Kč

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.