國立高雄大學圖資館 |

查詢結果 [ subject:"Z (Computer program language)"]

9 筆 (0.026s)· 頁 1 of 1 • 1

1.

Z :an introduction to formal methods /

~
Diller, Antoni.
- Z :an introduction to formal methods /
- by: Diller, Antoni.
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Wiley & Sons,
- 出版地: Chichester, West Sussex, England :
- 出版年: 1994
- ISBN: 0471939730
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

ZUM '97, the Z formal specification ...

~
(1998 :)
- ZUM '97, the Z formal specification notation10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
- by: (1998 :); Bowen, Jonathan Peter.; Hinchey, Michael Gerard.; SpringerLink (Online service); Till, David.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540627173
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

ZUM '98, the Z formal specification ...

~
(1998 :)
- ZUM '98, the Z formal specification notation11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings /
- by: (1998 :); Bowen, Jonathan Peter.; Fett, Andreas.; Hinchey, Michael G.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540650706
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

ZB 2002formal specification and deve...

~
(1998 :)
- ZB 2002formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
- by: (1998 :); Bert, Didier.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Berlin :
- 出版年: 2002
- ISBN: 9783540431664
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

ZB 2000formal specification and deve...

~
(1998 :)
- ZB 2000formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings /
- by: (1998 :); Bowen, Jonathan P.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540679448
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

ZB 2003formal specification and deve...

~
(1998 :)
- ZB 2003formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings /
- by: (1998 :); Bert, Didier.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540402534
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Refinement in Z and Object-Zfoundati...

~
Boiten, Eerke A.
- Refinement in Z and Object-Zfoundations and advanced applications /
- by: Boiten, Eerke A.; Derrick, John.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer London :
- 出版地: London :
- 出版年: 2014
- ISBN: 9781447153542; 9781447153559
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

ZB 2005: Formal Specification and De...

~
(1998 :)
- ZB 2005: Formal Specification and Development in Z and B4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /
- by: (1998 :); Henson, Martin.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540255598; 9783540320074
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

ABZ 2014the landing gear case study ...

~
(1998 :)
- ABZ 2014the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings /
- by: (1998 :); Boniol, Frederic.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2014
- ISBN: 9783319075112; 9783319075129
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料