実務,教育機関で Z に関する多くの講座があります.Oxford University で は Z をつかって実務的な短い 講座 を提供しています.導入的な講座のほかに 最近のものでは,証明やリファインメント,B ツール等に関する Z に基づく 高度な講座も行なっています.講座は Oxford や希望があればそれ以外の企業 でも行ないます.さらに詳しいことを知りたい人は,Jim Woodcock <Jim.Woodcock@comlab.ox.ac.uk> (tel +44-1865-283514, fax +44-1865-273839) と連絡を取って下さい.
Logica は私企業に対して Z にかんして 5 日間の講座を提供しています. Logica Cambridge Limited, Betjeman House, 104 Hills Road, Cambridge CB2 1LQ, UK. のRosalind Barden (tel +44-1223-66343 ext 4859, fax +44-1223-322315, email <rosalind@logcam.co.uk> ) に問い合わせて下さい.
Praxis Systems はいくつかの Z の講座を提供しています。詳しくは Anthony Hall Tel +44-1225-444700, e-mail <jah@praxis.co.uk> にお問い合わせ下さい。
Formal Systems (Europe) Ltd が Z,CSP やその他の形式的手法の講座を基本的には IS で Jim Wookcock や Bill Roscoe (両方とも PRG の講師) のような講師で行な っています。時期や値段に関しては、 Formal Systems (Europe) Limited, 3 Alfred Street, Oxford OX1 4EH, UK. の Kate Pearson (tel +44-1865-728460, fax +44-1865-201114)と連絡をとってください。
DST Deutsche System-Technik runs a は Z と CSP のコースを開設しています．お もにドイツ語で行われます．これらのコースは形式的手法と Z の入門的な半日から1 週間の上級者コースまであります．詳しいことはHans-Martin Hoercher, DST Deutsche System-Techik GmbH, Edisonstr. 3, D-24145 Kiel, Germany (tel +49-(0)431-7109-478, fax +49-(0)431-7109-503, email <hmh@informatik.uni-kiel.d400.de> )と連絡をとってください．
Next: Z について刊行されたものはありますか?