终端 发表于 2025-3-28 15:54:06

E. Battiston,F. De Cindio,G. Maurilich der Finanzmathematik ab. Es legt damit die Grundlagen, die im weiteren Verlauf des Studiums benötigt werden. Die mathematischen Verfahren werden mit ihren Anwendungsmöglichkeiten in der betrieblichen Praxis dargestellt. Dabei wird bewußt weitestmöglich auf eine mathematisch­ wissenschaftliche F

节约 发表于 2025-3-28 19:00:47

Advances in Formal Methodshttp://image.papertrans.cn/s/image/870878.jpg

平躺 发表于 2025-3-29 01:11:38

https://doi.org/10.1007/978-1-4757-6541-0Hardware; algebra; computer; computer graphics; design; formal specification; language; programming; program

斥责 发表于 2025-3-29 04:26:52

978-1-4419-4965-3Springer Science+Business Media New York 2000
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Software Engineering with OBJ; Algebraic Specificat Joseph Goguen,Grant Malcolm Book 2000 Springer Science+Business Media New York 2000 Har