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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € 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.

Formal Methods

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 51590265

Nakladateľstvo Springer, Berlin, júl 2026

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th Interna... Celý popis

Libristo kód: 51590265

250 b

Pripravujeme Nové

Nové

103.46 €

Očakávaná novinka

Vydanie 23. 07. 2026

Až 30 dní na vrátenie tovaru

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