Formal Methods and Software Development | DealShopping Deutschland

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development

63.12 EUR 50.28 EUR 20% Off

Ein kompakter Leitfaden aus den TAPSOFT-Konferenzen, der die Verbindung zwischen theoretischen Modellen und realen Entwicklungsprozessen aufzeigt; praxisnahe Beispiele, formale Verifikationsstrategien und neue Algorithmen werden vorgestellt.

Teilen: