Theories Of Programming And Formal Methods Essays Dedicated To Jifeng

Theory And Practice Of Formal Methods Essays Dedicated To Frank De

Unifying Theories Of Programming And Formal Engineering Methods

Logic, Computation And Rigorous Methods Essays Dedicated To Egon

Languages: From Formal To Natural Essays Dedicated To Nissim Francez

From Object-orientation To Formal Methods Essays In Memory Of

From Software Engineering To Formal Methods And Tools, And Back Essays

Formal And Natural Computing: Essays Dedicated To Grzegorz Rozenberg

Fields Of Logic And Computation Ii Essays Dedicated To Yuri Gurevich

A Journey Of Embedded And Cyber-physical Systems Essays Dedicated To

Evolutionary Computing And Artificial Intelligence Essays Dedicated To

Models, Algorithms, Logics And Tools Essays Dedicated To Kim

Treewidth, Kernels, And Algorithms Essays Dedicated To Hans L.

Exact Methods In The Study Of Language And Text Dedicated To Gabriel

Unifying Theories of Programming and Formal Engineering Methods, Fachbücher von Jim Woodcock, Zhiming Liu, Huibiao Zhu

Software, Services, And Systems Essays Dedicated To Martin Wirsing On