國立高雄大學圖資館 |

Search result for [ subject:"Z (Computer program language)"]

9 records (0.029s)· Page 1 of 1 • 1

1.

Z :an introduction to formal methods /

~
Diller, Antoni.
- Z :an introduction to formal methods /
- by: Diller, Antoni.
- Language materials, printed : Monograph/item
- Language: 英文
- Publisher: Wiley & Sons,
- Place of Publication: Chichester, West Sussex, England :
- Year of Publication: 1994
- ISBN: 0471939730
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540627173
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540650706
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Berlin :
- Year of Publication: 2002
- ISBN: 9783540431664
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540679448
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2003
- ISBN: 9783540402534
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer London :
- Place of Publication: London :
- Year of Publication: 2014
- ISBN: 9781447153542; 9781447153559
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- 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)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540255598; 9783540320074
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2014
- ISBN: 9783319075112; 9783319075129
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items