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: 01570773
Price: 1352 CZK
Availability: InStock
Author: Shaoying Liu
ISBN: 9783540881933

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Shaoying Liu

Tom Maibaum

Keijiro Araki

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01570773

Nakladatelství Springer, Berlin, listopad 2007

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

Libristo kód: 01570773

135 b

1 352 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Programmieren Lernen Peter Pepper

Brožovaná

1 080 Kč

Grenzen, Nähe, Respekt Jesper Juul

Brožovaná

269 Kč

Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim

Brožovaná

1 614 Kč

Richterrecht und Verfassung. Jörn Ipsen

Brožovaná

1 549 Kč

Herrschaft Susanne Held

Pevná

536 Kč

matrimonio nel diritto ebraico Daniele Zaccheddu

Brožovaná

747 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.