Unifying Theories of Programming and Formal Engineering Methods

Name: Unifying Theories of Programming and Formal Engineering Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Stabilní cena

Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 322 Kč.

1 322 Kč

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Celý popis

Do obchodu

O produktu

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

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