From: wojtek@power.com.pl (Wojtek Narczynski)
Subject: Re: Software Design ...and Specification
Date: 16 Dec 2003 08:28:45 -0800
Date: 2003-12-16T08:28:45-08:00 [thread overview]
Message-ID: <5ad0dd8a.0312160828.11749e8d@posting.google.com> (raw)
In-Reply-To: brcmfg$lfn$1@news.uni-stuttgart.de
Hello,
Let me mention another book, I found very interesting:
"Specifying Systems" by Leslie Lamport
http://research.microsoft.com/users/lamport/tla/book.html
For some reason you can download it, but IMHO it is worth buying.
I had a lot of fun reading the "Getting Started", but then it gets very serious.
However, it is only practical the way that any good theory is practical.
Regards,
Wojtek
next prev parent reply other threads:[~2003-12-16 16:28 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-12-12 14:43 Software Design Robert Spooner
2003-12-12 15:22 ` Peter Hermann
2003-12-16 16:28 ` Wojtek Narczynski [this message]
2003-12-12 15:55 ` (see below)
2003-12-12 19:49 ` Alexandre E. Kopilovitch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox