别名 发表于 2025-4-1 03:15:34

Jagadish Suryadevara,Cristina Seceleanu,Frédéric Mallet,Paul Petterssonn, sondern selbst herleiten wollen. Zur Unterstützung dienen neben ausführlichen Lösungen die in einem Extrakapitel angegebenen Lösungshinweise: halbfertige Skizzen, Teilergebnisse, Nennung der Beweismethode oder eine Auflistung der relevanten Gleichungen. Bei umfangreicheren Herleitungen ist eine A
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Software Engineering and Formal Methods; 11th International C Robert M. Hierons,Mercedes G. Merayo,Mario Bravett Conference proceedings 201