Software abstractions: Logic, language and analysis

Jackson, Daniel

Software abstractions: Logic, language and analysis - Cambridge MIT Press 2006 - 350

262101149


LOGIC
SOFTWARE ABSTRACTION
SOFTWARE ENGINEERING

005.1 JAC/S