[ale] Z Language

leam hall leamhall at gmail.com
Wed Aug 31 13:52:06 EDT 2016


Sorry, forgot the URL:   https://en.wikipedia.org/wiki/Z_notation

On Wed, Aug 31, 2016 at 1:21 PM, Boris Borisov <bugyatl at gmail.com> wrote:

> We run out of letters for naming programming languages :)
>
> On Aug 31, 2016 1:10 PM, "leam hall" <leamhall at gmail.com> wrote:
>
>> I'm reading "Secure Coding: Principles and Practice" and it mentions the
>> Z language for design formal method process. Anyone ever use it? Always
>> trying to better my programming chops.
>>
>> Leam
>>
>> --
>> Mind on a Mission <http://leamhall.blogspot.com/>
>>
>> _______________________________________________
>> Ale mailing list
>> Ale at ale.org
>> http://mail.ale.org/mailman/listinfo/ale
>> See JOBS, ANNOUNCE and SCHOOLS lists at
>> http://mail.ale.org/mailman/listinfo
>>
>>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo
>
>


-- 
Mind on a Mission <http://leamhall.blogspot.com/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.ale.org/pipermail/ale/attachments/20160831/161f55e6/attachment.html>


More information about the Ale mailing list