年 〜
年

検索結果 3 件

Software engineering mathematics North American ed

Software engineering mathematics North American ed
紙図書
Jim Woodcock, Martin LoomesAddison-Wesley Pub. Co.1989, c1988
全国の図書館
  • 著者標目Woodcock, James Loomes, Martin

The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing organized by the Institute of Mathematics and its Applications and held at Brighton Polytechnic in April 1989

The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing organized by the Institute of Mathematics and its Applications and held at Brighton Polytechnic in April 1989
紙図書
[edited by] J.H. Johnson, M.J. LoomesClarendon Press1991
全国の図書館
  • 著者標目Johnson, J. H. (Jeffrey H.) Loomes, Martin Conference on the Mathematica...

Software engineering mathematics : formal methods demystified

Software engineering mathematics : formal methods demystified
紙図書
Jim Woodcock, Martin LoomesPitman1988
全国の図書館
  • 著者標目Woodcock, James Loomes, Martin

検索結果は以上です。