Formal Specification Level - 9783319086989

Goodrich - Algorithm Engineering - New paperback or softback - X555z

Texts in Computer Science Ser.: Algorithm Design Manual by Steven S. Skiena...

Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

Formal Specification Level: Concepts, Methods, and Algorithms

Tao - Configurable Intelligent Optimization Algorithm Design and Pra - X555z

Sharma - Butterfly Optimization Algorithm Theory and Engineering Appl - X555z

Gupta - Formal Methods and Models for System Design A System Level P - X555z