Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 41049828
Price: 254.7 PLN
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

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41049828

Wydawnictwo Springer, sierpień 2018

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Cały opis

Kod Libristo: 41049828

145 b

254.70 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Mogłoby Cię także zainteresować

Through the Looking Glass Richard Idemon

Miękka

101.33 zł

New Theoretical and Practical French Grammar Charles Jean Delille

Twarda

166.32 zł

Polygeneration Systems Francesco Calise

Miękka

965.40 zł

Intercept Gordon Corera

Adobe ePub DRM

18.57 zł

Genesis Wave Book 1 Tim Russ

MP3

63.97 zł

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.