Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 46583255
Price: 143.21 EUR
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

Nakladateľstvo Springer, Berlin, november 2024

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

Libristo kód: 46583255

348 b

143.21 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Naturkosmetik aus dem Thermomix(R) Gehlmann

Brožovaná

14.88 €

Die Rheinlande Von Der Schweizer Bis Zur Hollandischen Grenze: Handbuch Fur Reisende Karl Baedeker

Brožovaná

29.87 €

Recherches sur la musique française classique. Volume (29) XXIX

Brožovaná

54.60 €

SPA-RIGBY PM COLECCION Rigby

Pevná

76.86 €

Voice over IP M Westphal

Brožovaná

12.57 €

Sindbad le marin Pascale Hédelin

Pevná

10.55 €

Estuche Hannah Grace (Contiene: Romper el hielo Saltan chis Grace

Brožovaná

27.04 €

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.