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: 01570773
Price: 55.9 EUR
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

Nakladateľstvo Springer, Berlin, november 2007

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

Libristo kód: 01570773

135 b

55.90 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Programmieren Lernen Peter Pepper

Brožovaná

47.29 €

Grenzen, Nähe, Respekt Jesper Juul

Brožovaná

11.84 €

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

Brožovaná

70.69 €

Richterrecht und Verfassung. Jörn Ipsen

Brožovaná

64.10 €

Herrschaft Susanne Held

Pevná

23.69 €

matrimonio nel diritto ebraico Daniele Zaccheddu

Brožovaná

32.70 €

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.