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.

FM 2008: Formal Methods

Name: FM 2008: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567668
Price: 1182 CZK
Availability: InStock
Author: Jorge Cuellar
ISBN: 9783540682356

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Jorge Cuellar

Tom Maibaum

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01567668

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Celý popis

Libristo kód: 01567668

118 b

1 182 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta

Brožovaná

309 Kč

Passion,pain & poetry Sabine Seide/Müller

Audio CD

316 Kč

Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S

Brožovaná

293 Kč

La grande escapade Blondel

Brožovaná

555 Kč

Телефонна агітація Noe Spies

Adobe ePub DRM

276 Kč

Adventní kalendář 2026 Toy Story

binding.

272 Kč

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.