This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decompos…
This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decompos…
Software engineering and formal methods: 10th International Conference, SEFM 2012, Thessal…
by Holcombe, W. M. L., (William Michael Lloyd), Hinchey, Michael G., (Michael Gerard), International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLecture Notes in Computer Science
Software engineering and formal methods: 10th International Conference, SEFM 2012, Thessal…
by Holcombe, W. M. L., (William Michael Lloyd), Hinchey, Michael G., (Michael Gerard), International Conference on Software Engineering and Formal Methods, Thessalonikē, Greece), Eleftherakis, George
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 i…