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

50.28 EUR

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.

Gesponsert

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B

SpringerLink DE

50.28 EUR

05-05-2026 01:40:41

Gesponsert

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (CSE) (Lecture Notes in Computer Science)

Medimops DE

50.28 EUR

04-05-2026 13:11:52

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

Ähnliche Produkte