Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Methods: Foundations and Applications

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 169 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Formal Methods: Foundations and Applications
• Podnázov: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
• Autor: Sidney C. Nogueira, Ciprian Teodorov
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 210
• EAN: 9783031781155
• ID: 46813857
• Nakladateľ: Springer, Berlin
• Hmotnosť: 347 g
• Rozmery: 235 × 155 mm
• Dátum vydania: 26. December 2024

Obľúbené z iného súdka

---

---

---