"Relational calculus and relational program semantics" by R.M. Dijkstra

[Kevin]

I have been trying to locate a copy of "Relational calculus and
relational program semantics" by R.M. Dijkstra but it's damn difficult
to find a copy on line. Can anybody help?

Regards,
Kevin

[Jeremy Weissmann]

I feel like I used to have a copy of this... Wim, do you have an electronic copy?

+j

Kevin

--
You received this message because you are subscribed the mathmeth.com mailing list.
To unsubscribe from this group, send email to Calculational-Math...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/Calculational-Mathematics?hl=en

[MS]

Hey Kevin,

If you have an electronic copy, I would love to know
thanks for your help,

Cheers,
Mahesh

[Simon]

Hi,

I have a copy. For those of you who would like one, they can write to
me at si...@cse.yorku.ca

Cheers,
Simon

On Feb 4, 8:33 pm, MS <mshas...@acm.org> wrote:
> Hey Kevin,
>
> If you have an electronic copy, I would love to know
> thanks for your help,
>
> Cheers,
> Mahesh
>
> On Fri, Feb 3, 2012 at 8:15 PM, Jeremy Weissmann <jer...@mathmeth.com>wrote:
>
>
>
>
>
>
>
> > I feel like I used to have a copy of this... Wim, do you have an
> > electronic copy?
>
> > +j
>

> > On Fri, Feb 3, 2012 at 11:13 PM, Kevin <kevin.h...@gmail.com> wrote:
>
> >> I have been trying to locate a copy of "Relational calculus and
> >> relational program semantics" by R.M. Dijkstra but it's damn difficult
> >> to find a copy on line. Can anybody help?
>
> >> Regards,
> >> Kevin
>
> >> --

> >> You received this message because you are subscribed the mathmeth.commailing list.

> >> To unsubscribe from this group, send email to
> >> Calculational-Math...@googlegroups.com
> >> For more options, visit this group at
> >>http://groups.google.com/group/Calculational-Mathematics?hl=en
>
> >  --

> > You received this message because you are subscribed the mathmeth.commailing list.

[FABIO CESAR NASCIMENTO]

Good morning, Mr. Simon.

I would like to receive a copy, please.

My email is fcn...@gmail.com.

Thanks!

Fabio Cesar

You received this message because you are subscribed the mathmeth.com mailing list.

[MS]

Hey Simon,

I wish to receive a copy please,

Thank you,

Mahesh

You received this message because you are subscribed the mathmeth.com mailing list.

[Francisco José CHAVES ALONSO]

Hi

I wish to receive a copy too

Thank you

Francisco

Le 10/02/12 18:37, MS a écrit :

[Shankar bhavani Yeleswarapu]

Hi

Can I get a copy

Thanks

---

From: Francisco José CHAVES ALONSO <pach...@gmail.com>
To: calculationa...@googlegroups.com
Sent: Sunday, 12 February 2012 12:05 AM
Subject: Re: [mathmeth] Re: "Relational calculus and relational program semantics" by R.M. Dijkstra

[Simon]

Hi,

I've been having a hard time sending the document around so I decided
to upload it on google docs.

https://docs.google.com/open?id=0B_BHZz9ZzXq9Zjc5Zjc4NTctY2I1OS00OGY1LWE4ZGUtY2QzMGYwMjNlMzVk

Please let me know if it doesn't work.

Cheers,
Simon

On Feb 11, 9:01 pm, Shankar bhavani Yeleswarapu

<ybshankar...@yahoo.com> wrote:
> Hi
>
> Can I get a copy
>
> Thanks
>
> ________________________________

>  From: Francisco José CHAVES ALONSO <pachop...@gmail.com>

> To: calculationa...@googlegroups.com
> Sent: Sunday, 12 February 2012 12:05 AM
> Subject: Re: [mathmeth] Re: "Relational calculus and relational program semantics" by R.M. Dijkstra
>
> Hi
>
> I wish to receive a copy too
>
> Thank you
>
> Francisco
>
> Le 10/02/12 18:37, MS a écrit :
> Hey Simon,
>
>
>
>
>
>
>
>
>
> >I wish to receive a copy please,
>
> >Thank you,
>
> >Mahesh
>

> >>For more options, visit this group athttp://groups.google.com/group/Calculational-Mathematics?hl=en

>
> >--
> >You received this message because you are subscribed the
>
>       mathmeth.com mailing list.
>
> >To unsubscribe from this group, send email to Calculational-Math...@googlegroups.com

> >For more options, visit this group athttp://groups.google.com/group/Calculational-Mathematics?hl=en

[MS]

Thank you Simon, the link worked

Best Wishes
Mahesh

[Kevin]

Many thanks!

Kevin.

On Feb 13, 9:24 pm, Simon <simon.hu...@gmail.com> wrote:
> Hi,
>

> I've been having a hard time sending the document around so I decided
> to upload it on google docs.
>

> https://docs.google.com/open?id=0B_BHZz9ZzXq9Zjc5Zjc4NTctY2I1OS00OGY1...

[FABIO CESAR NASCIMENTO]

Thank you, Simon.

The link works correctly.

Fabio Cesar

[Francisco José CHAVES ALONSO]

Simon, Thank you for the link, it also works for me.

Greetings
Francisco

Le 14/02/12 02:26, MS a écrit :

[Eldrid Rensburg]

Thanks Simon, for making the copy available.

In the days before 'PDF-accessibility' :-) I had a printed copy of the
structured classic, 'Structured Programming, Dahl, Dijkstra, Hoare,
1972'. Over the years, I had lost the copy. And recently I
'www-searched' and found it to be out-of-print but found a PDF version.

If anyone would like a copy, it's 11 MB - for academic educational
purposes it's useful - keeping in mind the copyright.

Cheers

Eldrid Rensburg

eldrid....@gmail.com