Archive by category 'Uncategorized'
 
Z notation for verification
April 15th, 2007 By recluze

A.A. everyone, Mr. MM: Sir, I’ve taken a look at the Z documentation you told me about. I’ve gone through the complete Z reference manual and I don’t think it’s that difficult. (It would require some time for actual implementation of practical examples but it’s not difficult.)...

Read All
For Shaz: Entering the Blog
April 14th, 2007 By recluze

Final post of the (long) series: I would suggest you go back and read my “dummies” guide on entering the blog. You seem to have missed at least one point there. Anyway, I’ve added you to admins. You can start blogging from the wordpress interface itself. The addons are for your ease....

Read All
April 13th, 2007 By alam78

Here are the latest updates for *sfh1975@gmail. com* *”del.icio.us/ eadi/jobs <http://del.icio. us/eadi/jobs>”* – 1 new article *Ph. D – Scholarship in Development Studies <http://www.jobbnorg e.no/visstilling 2.aspx?stillid= 37947&lang= NO>* 2007/04 –...

Read All
More Jobs Here
April 13th, 2007 By alam78

http://www.researchjobs.net.au/newsletter.php

Read All
April 13th, 2007 By alam78

———- Forwarded message ———- From: Riedl, Johannes <johannes.riedl@ siemens.com> Date: Apr 14, 2007 1:08 AM Subject: Open position at Siemens Corporate Technology, Information & Communication in Munich/Germany Hi all, if you are interested in...

Read All

Dear Nauman, Tamleek sb will not be available tomorrow because, he is going to ISB tomorrow. Best, MA

Read All
Metting–Tomorrow
April 12th, 2007 By alam78

Just wanted to confirm that the same schedule will hold tomorrow as previously discussed or not? Kindly update me in this regard. Best, MA

Read All
Re: Z Resources
April 12th, 2007 By alam78

Dear Nauman, Kindly please just concentrate on HOL and Isabelle at the moment and it application for security protocol verification. Just by the way, i came across this resource and wanted to make it, a part of our mini digital library for future use. I will deal with Z Notation, as i need it for my...

Read All
Z Resources
April 12th, 2007 By recluze

A.A. I’ll download the material for Z notation as soon as possilbe. But like I said, I would rather concentrate on HOL than on Z or any other notation. If you have any arguments to the contrary, please do let me know.

Read All
Z Book: For Nauman
April 12th, 2007 By alam78

Nauman: Kindly download all the books available on the Z notation with you. As you were discussing some idea to make a central storage space. http://en.wikipedia.org/wiki/Z_notation There is a lot of material available at the end of this page. http://www.usingz.com/text/  see this as well please. Best, MA

Read All