Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag GmbH
SKU: 49776569
Price: 64.41 EUR
Availability: InStock
Author: Marie Farrell
ISBN: 9783032107930

Marie Farrell

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 49776569

Založba Springer-Verlag GmbH, januar 2026

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Celoten opis

Koda Libristo: 49776569

156 b

64.41 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Morda bi vas zanimalo tudi

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

Trda

27.23 €

Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo

Trda

54.28 €

Kids, Wait Till You Hear This! Liza Minnelli

Mehka

14.78 €

Homosexuality, Transidentity, and Islam Adi Bharat

Mehka

63.09 €

Manual For Submarine Mining

Mehka

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.