Software abstractions: logic language and analysis. Logic language and analysis.

Jackson, Daniel.

Software abstractions: logic language and analysis. Logic language and analysis. - 1 - New Delhi Prentice Hall of India PVt Ltd. 2007 - xvi,350

9788120331709


Software Engineering

005.368 JACD