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
Software abstractions: Logic, language and analysis - Cambridge MIT Press 2006 - 350
262101149
LOGIC
SOFTWARE ABSTRACTION
SOFTWARE ENGINEERING
005.1 JAC/S