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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.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: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag GmbH
SKU: 49868180
Price: 59.85 EUR
Availability: InStock
Author: Leopoldo Teixeira
ISBN: 9783032120854

Leopoldo Teixeira

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 49868180

Nakladateľstvo Springer-Verlag GmbH, február 2026

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Fo... Celý popis

Libristo kód: 49868180

145 b

59.85 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

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.