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

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

Nikolai Kosmatov

Laura Kovács

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 46583255

Nakladatelství Springer, Berlin, listopad 2024

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Celý popis

Libristo kód: 46583255

330 b

3 297 Kč

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

Voice over IP M Westphal

Brožovaná

289 Kč

SPA-RIGBY PM COLECCION Rigby

Pevná

1 767 Kč

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

Brožovaná

189 Kč

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.