FM 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings 『酷』

作者：CAVALCANTI, ANA (EDT)/ DAMS, DENNIS (EDT)
出版社：SPRINGER-VERLAG NEW YORK INC
出版日期：2009年12月15日
語言：英文 ISBN：9783642050886
裝訂：平裝

售價:6705

###其他選擇連結###

	Gnu Emacs Pocket Reference 作者：Cameron, Debra出版社：Oreilly & Associates Inc 出版日期：1998年11月01日語言：英文 ISBN：1565924967裝訂：平裝內容簡介topThis "Pocket Reference", covering the latest version of Emacs, is a handy reference g ...
	The Seasoned Schemer 作者：Friedman, Daniel P./ Felleisen, Matthias/ Bibby, Duane (ILT)出版社：Mit Pr 出版日期：1995年12月21日語言：英文 ISBN：026256100X裝訂：平裝 ...
	Using CRC Cards: An Informal Approach to Object-Oriented Development 作者：Wilkinson, Nancy M.出版社：Cambridge Univ Pr 出版日期：1995年04月01日語言：英文 ISBN：0133746798裝訂：平裝 ...
	The Definition of Standard Ml 作者：Milner, Robin/ Tofte, Mads/ Harper, Robert/ Macqueen, David出版社：Mit Pr 出版日期：1997年05月15日語言：英文 ISBN：0262631814裝訂：平裝 ...
	Common Lispcraft 作者：Wilensky, Robert出版社：W W Norton & Co Inc 出版日期：1986年06月01日語言：英文 ISBN：9780393955446裝訂：平裝 ...
	Visual Basic 6 for Dummies 作者：Wang, Wally出版社：John Wiley & Sons Inc 出版日期：1998年09月04日語言：英文 ISBN：0764503707裝訂：平裝內容簡介topA jargon-free guidebook for non-programmers and first-time programmers explains the basics of this...
	Programming With Constraints: An Introduction 作者：Marriott, Kim/ Stuckey, Peter J.出版社：Mit Pr 出版日期：1998年03月13日語言：英文 ISBN：0262133415裝訂：精裝 ...
	Software Testing in the Real World: Improving the Process 作者：Kit, Edward/ Finzi, Susannah (EDT)/ Finzi, Susannah出版社：Addison-Wesley 出版日期：1995年11月01日語言：英文 ISBN：0201877562裝訂：精裝 ...
	The Little Schemer 作者：Friedman, Daniel P./ Felleisen, Matthias/ Bibby, Duane (ILT)出版社：Mit Pr 出版日期：1995年12月21日語言：英文 ISBN：0262560992裝訂：平裝內容簡介top　　drawings by Duane Bibby　　foreword by Gerald J. Sussman　　The not ...
	The Mythical Man-Month: Essays on Software Engineering 作者：Brooks, Frederick Phillips出版社：Addison-Wesley 出版日期：1995年04月01日語言：英文 ISBN：0201835959裝訂：平裝內容簡介top　　Few books on software project management have been as influential and timeless as The Myt ...