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.

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 42849724
Price: 97.53 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274800

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 42849724

Založba Springer, Berlin, april 2023

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Celoten opis

Koda Libristo: 42849724

236 b

97.53 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult

Mehka

7.89 €

Moins un Joanniez

Mehka

10.42 €

Locke & Key Joe Hill

Trda

35.03 €

Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert

Mehka

33.11 €

Bonjour Pansori Han

Mehka

28.35 €

Trace et disparition Brocchini

Mehka

17.82 €

Basics Schallschutz Dominic Kampshoff

Mehka

22.17 €

Štedrovečerné rozprávky Miklós Malvina

Trda

5.16 €

Cadena de oro Kolton

Mehka

9.21 €

La Ligue de Salut La Gervaisais-N-L-M

Mehka

13.06 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.