Introduction to the Mori Program

出版社:New York : Springer, c2002.
ISBN:0387984658
出版年:2002
作者:Matsuki,Kenji,
资源类型:图书
细分类型:西文文献
相关推荐

An introduction to formal program verification

  • 作者:Mili,Ali.
  • ISBN:0442263228
  • 出版社:New York : Van Nostrand Reinhold, c1985.
  • 出版年:1985

Introduction:Enewetak Atoll and the PEACE Program

  • 作者:Henry,Thomas W.
  • 出版社:Wash. D. C. : U.S. Govt. Print Off., 1990.
  • 出版年:1990

Rigorous software development : an introduction to program verification

  • 作者:Almeida,José Bacelar
  • ISBN:9780857290175
  • 出版社:London : Springer, c2011
  • 出版年:2011

Introduction to genetics : a program for self-instruction

  • 作者:Kormondy,Edward J.
  • 出版社:N.Y. : McGraw-Hill, c1964.
  • 出版年:1964

COBOL : an introduction to structured logic and modular program design

  • 作者:Davis,William S.,
  • ISBN:0201014319
  • 出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1979.
  • 出版年:1979

Evaluation of TVA''s national fertilizer introduction program

  • 作者:Tennessee Valley Authority.
  • 出版社:Alabama : National Fertilizer Development Center, 1977
  • 出版年:1977