Thursday
Oct252007
Three Reviews of the Alloy Book
Thu 2007-10-25
I know I am probably a bit behind the times, but I have just come across these three favorable reviews of Daniel Jackson's Software Abstractions: Logic, Language, and Analysis
- George Hacken, Computing Reviews, CR133293
- Panagiotis Louridas, Computing Reviews, CR133957
- Fernando Berzal, Computing Reviews, CR134453
It is nice when you find out that other people agree with you about something.
Reader Comments