anyone familiar with z notation? - CS版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

CS版 - anyone familiar with z notation?

相关主题
● very upset..SE is pretty difficult area	● 【JOBS】招Software Engineer, QA, DBA at SF/NYC
● c++ type conversion 方面的问题	● job opening: Senior Software Engineer -GUI
● 询问一个Big O notation的问题	● looking for summer interns (转载)
● 求问时间复杂度	● anyone familiar with javacc? (转载)
● help prove the following code correctness?	● Re: 计算机专业编程到底强在哪里？
● 请问各位达人,csp和z notation的区别和利弊。	● 谈一下我的经历，顺便请教！
● 准备100个包子求大神帮下忙 or up to 50刀 (转载)	● program language 这个方向现在如何
● Bloomberg Phone Interview, anyone familiar with their Q's?	● Please help

相关话题的讨论汇总
话题: notation话题: familiar话题: anyone话题: me话题: tutorial

进入CS版参与讨论

1

(共1页)

L*********d 发帖数: 1019	1 please give me a hand... :S i am really frustrated by this notation. can you recommend me some tutorial and examples?
f***h 发帖数: 52	2 Jonathan Bowen. Formal Specification and Documentation using Z: A Case Study Approach 【在 L*********d 的大作中提到】 : please give me a hand... :S : i am really frustrated by this notation. can you recommend me some tutorial : and examples?

1

(共1页)

进入CS版参与讨论

相关主题
● Please help	● help prove the following code correctness?
● 想问一个关于评价prediction performance的问题 (转载)	● 请问各位达人,csp和z notation的区别和利弊。
● PhD找程序员工作的时候publication有人看吗？	● 准备100个包子求大神帮下忙 or up to 50刀 (转载)
● State Dept. Spends $450K to Teach Afghan Women to Play Cricket	● Bloomberg Phone Interview, anyone familiar with their Q's?
● very upset..SE is pretty difficult area	● 【JOBS】招Software Engineer, QA, DBA at SF/NYC
● c++ type conversion 方面的问题	● job opening: Senior Software Engineer -GUI
● 询问一个Big O notation的问题	● looking for summer interns (转载)
● 求问时间复杂度	● anyone familiar with javacc? (转载)

相关话题的讨论汇总
话题: notation话题: familiar话题: anyone话题: me话题: tutorial

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)