Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Růst ceny o 1 %

Nejnižší cena od 10. 9. 2026: 1 175 Kč.

1 187 Kč

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Celý popis

Do obchodu

O produktu

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.