Reading Length
Home
Speed Tests
Login
Paul Boca
Identifiers
Open Library
OL6952507A
Top Subjects
Computer software, development (1)
System design (1)
Software engineering (1)
Books by Paul Boca
Total count: 2
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Springer London, Limited
2008-01-01
Formal Methods
State of the Art and New Directions
Springer
2009-01-01
