MPG.eBooks - Search Results - "London"

Cover Image

1

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

“... State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously...”

Cover Image

2

Formal Methods: State of the Art and New Directions

Published 2010

Springer London