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 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 paketomatih Pošte Slovenije.

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 51590265
Price: 93.04 EUR
Availability: PreOrder
Author: Augusto Sampaio
ISBN: 9783032262196

27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II.DE

Augusto Sampaio

Marielle Stoelinga

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 51590265

Založba Springer, Berlin, julij 2026

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th Interna... Celoten opis

Koda Libristo: 51590265

225 b

Kmalu

Novo

93.04 €

Pričakovane novice

Izdaje 23. 07. 2026

Do 30 dni za vračilo

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18 22, 2026.

The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:

Part I: Invited Papers; and Main Track (1)

Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track