florid 发表于 2025-3-28 15:38:04

and the DLX pipeline. Our experiments show that this methodology not only constructs abstract models in sufficiently shorter time than the time taken in constructing ad hoc abstract models from implementation or specification, but also provides models that are constructively correct, closer to the
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Mathematik für Ingenieure mit Maple; Band 2: Differential Thomas Westermann Textbook 2001Latest edition Springer-Verlag Berlin Heidelberg 2