Books by Kevin Lano

2 titles available, newest first by original publication date.

The B Language and Method: A Guide to Practical Formal Development

Kevin Lano

$67.99

Formal Object-Oriented Development

Kevin Lano

$67.99