Jump to main content

yr 〜
yr

Search results 5

Logics of specification languages

Logics of specification languages
Paper図書
Dines Bjørner, Martin C. Henson editorsSpringerc2008
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines) Henson, Martin C.

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Paper図書
Helen Treharne ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...en King, Steve Henson, Martin C. Schneider, Steve

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Paper図書
Didier Bert ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading...onathan Peter) Henson, Martin C. Robinson, Ken

Elements of functional languages : pbk.

Elements of functional languages : pbk.
Paper図書
Martin C. HensonBlackwell Scientific Publications1987
Other Libraries in Japan
  • Author HeadingHenson, Martin C.

Computer science texts

Computer science texts
Paper図書
consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. HensonBlackwell Scientific Publications
Other Libraries in Japan
  • Author HeadingBowcock, K. J. Gibbons, Alan (Alan M.) Henson, Martin C.

Reached to the end of result.

RSS