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.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 41049828
Price: 1453 CZK
Availability: InStock
Author: Carlo A. Furia
ISBN: 9783319989389

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Carlo A. Furia

Kirsten Winter

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41049828

Nakladatelství Springer, srpen 2018

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Celý popis

Libristo kód: 41049828

145 b

1 453 Kč

Skladem Ihned ke stažení

Mohlo by vás také zajímat

Through the Looking Glass Richard Idemon

Brožovaná

505 Kč

New Theoretical and Practical French Grammar Charles Jean Delille

Pevná

903 Kč

Polygeneration Systems Francesco Calise

Brožovaná

5 283 Kč

Intercept Gordon Corera

Adobe ePub DRM

106 Kč

Genesis Wave Book 1 Tim Russ

MP3

365 Kč

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.