Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010

作者:KOWALEWSKI, STEFAN (EDT)/ ROVERI, MARCO (EDT)
出版社:SPRINGER-VERLAG NEW YORK INC
出版日期:2010年10月04日
語言:英文 ISBN:9783642158971
裝訂:平裝


售價:3240




###其他選擇連結###
Gnu Emacs Pocket Reference 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 ...
Visual Basic 6 for Dummies 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...
The Tao of Programming The Tao of Programming

作者:James, Geoffrey出版社:Info Books 出版日期:1986年09月01日 語言:英文 ISBN:0931137071裝訂:平裝 ...
Programming With Constraints: An Introduction Programming With Constraints: An Introduction

作者:Marriott, Kim/ Stuckey, Peter J.出版社:Mit Pr 出版日期:1998年03月13日 語言:英文 ISBN:0262133415裝訂:精裝 ...
The Seasoned Schemer The Seasoned Schemer

作者:Friedman, Daniel P./ Felleisen, Matthias/ Bibby, Duane (ILT)出版社:Mit Pr 出版日期:1995年12月21日 語言:英文 ISBN:026256100X裝訂:平裝 ...
Machine Learning & Data Mining: Methods & Applications Machine Learning & Data Mining: Methods & Applications

作者:Michalski, Ryszard S. (EDT)/ Kubat, Miroslav (EDT)/ Bratko, Ivan (EDT)出版社:John Wiley & Sons Inc 出版日期:1998年05月01日 語言:英文 ISBN:9780471971993裝訂:精裝 ...
The Little Mler The Little Mler

作者:Felleisen, Matthias/ Friedman, Daniel P./ Bibby, Duane (ILT)出版社:Mit Pr 出版日期:1997年12月19日 語言:英文 ISBN:026256114X裝訂:平裝 ...
The Mythical Man-Month: Essays on Software Engineering 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 ...
Software Testing in the Real World: Improving the Process Software Testing in the Real World: Improving the Process

作者:Kit, Edward/ Finzi, Susannah (EDT)/ Finzi, Susannah出版社:Addison-Wesley 出版日期:1995年11月01日 語言:英文 ISBN:0201877562裝訂:精裝 ...
Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices

作者:Jackson, Michael J.出版社:Addison-Wesley 出版日期:1995年06月01日 語言:英文 ISBN:0201877120裝訂:平裝 ...

資料來源:博客來

創作者介紹
創作者 ⓓ 的頭像
book02

book02 發表在 痞客邦 留言(0) 人氣( 0 )