Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 42849724
Price: 102.9 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

249 b

102.90 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Yoga, Sex and Happiness Carolin-Marie Roth

Mehka

23.65 €

Locke & Key Joe Hill

Trda

34.77 €

mercato della salute Franco Cosmi

Mehka

22.94 €

Большая книга приключений Конни. Путешествия Лиана Шнайдер

Trda

17.78 €

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

Mehka

32.85 €

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

Mehka

7.07 €

Alan E. Baklayan Mariam T. Tennoe

Mehka

97.04 €

Moins un Joanniez

Mehka

10.20 €

Qualidade em Turismo na Regi?o Centro de Portugal Andreia Moura

Mehka

54.28 €

Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn

Trda

119.08 €

Lombardia slow foot. Montagna per tutte le gambe. Provincia di Pavia e Varese Giuseppe Miotti

Knjiga

6.86 €

I love Kawaii. El arte japonés de para dibujar cosas dulces Nguyen

Mehka

14.95 €

Test comentados para oposiciones de la Constitución Española Usero López

Mehka

32.04 €

Bonjour Pansori Han

Mehka

28.09 €

PC-7M popisovač Posca, 4,5-5,5 mm, černý (24)

Pisarniški material

4.24 €

Trace et disparition Brocchini

Mehka

18.89 €

Basics Schallschutz Dominic Kampshoff

Mehka

22.03 €

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

Trda

5.15 €

These: Des Privileges Sur Les Meubles Flachat-A

Mehka

15.86 €

Cadena de oro Kolton

Mehka

8.99 €

Jerusalem, Jerusalem Berengar Pfahl

DVD

16.97 €

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

Mehka

12.42 €

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.