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 Kurier 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, Berlin
SKU: 46583255
Price: 615.91 PLN
Availability: InStock
Author: Nikolai Kosmatov
ISBN: 9783031765537

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov

Laura Kovács

Język

Angielski

Książka Miękka

Kod Libristo: 46583255

Wydawnictwo Springer, Berlin, listopad 2024

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Cały opis

Kod Libristo: 46583255

349 b

615.91 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Voice over IP M Westphal

Miękka

54.24 zł

SPA-RIGBY PM COLECCION Rigby

Twarda

330.37 zł

Autorem je každý z nás Jitka Malá

Miękka

35.52 zł

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.