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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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-Verlag GmbH
SKU: 49776569
Price: 68.15 EUR
Availability: InStock
Author: Marie Farrell
ISBN: 9783032107930

Marie Farrell

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 49776569

Nakladateľstvo Springer-Verlag GmbH, január 2026

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

Libristo kód: 49776569

165 b

68.15 €

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

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Kay Nielsen. East of the Sun and West of the Moon Noel Daniel

Pevná

34.73 €

Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo

Pevná

54.28 €

Kids, Wait Till You Hear This! Liza Minnelli

Brožovaná

16.20 €

Homosexuality, Transidentity, and Islam Adi Bharat

Brožovaná

63.09 €

Manual For Submarine Mining

Brožovaná

16.20 €

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, IFM 2025, which took place in Paris, France, during November 19-21, 2025.

The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.