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: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer
SKU: 50222002
Price: 60.21 EUR
Availability: InStock
Author: Maurice H. ter Beek
ISBN: 9783032120861

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings

Maurice H. ter Beek

Leopoldo Teixeira

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, november 2025

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Fo... Celoten opis

Koda Libristo: 50222002

146 b

60.21 €

Na zalogi Prenesi zdaj

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.