[SPG_Active_Members] Paul McJones's book is now out

[Paul McJones]

Randy,

Thanks very much for buying our book.  We tried to avoid formalism for the
sake of formalism, striving instead for informal rigor. Let us know how
close we came to that goal.


Paul

> Elements of Programming
> by Alexander Stepanov and
> Paul McJones
>
> just showed up on my doorstep; I preordered
> it from Amazon.
>
> Looks like I will have to re-engage the Formal
> Specification parts of my brain that I haven't used
> since writing my thesis and defending it.
>
> Randall.
> _______________________________________________
> SCC_active mailing list
> SCC_active at computerhistory.org
> http://mail.computerhistory.org/mailman/listinfo/scc_active
>