From Object-orientation To Formal Methods: Essays In Memory Of Ole-johan Dahl [讚]

作者：OWE, OLAF (EDT)/ KROGDAHL, STEIN/ LYCHE, TOM
出版社：SPRINGER-VERLAG NEW YORK INC
出版日期：2004年04月30日
語言：英文 ISBN：9783540213666
裝訂：平裝

內容簡介TOPTHIS BOOK IS DEDICATED TO THE MEMORY OF OLE-JOHAN DAHL WHO PASSED AWAY IN JUNE 2002 AT THE AGE OF 70, SHORTLY AFTER HE HAD RECEIVED, TOGETHER WITH HIS COLLEAGUE KRISTEN NYGAARD, THE ACM ALAN M. TURING AWARD:"FOR IDEAS FUNDAMENTAL TO THE EMERGENCE OF OBJECT-ORIENTED PROGRAMMING, THROUGH THEIR DESIGN OF THE PROGRAMMING LANGUAGES SIMULA I AND SIMULA 67."THIS FESTSCHRIFT OPENS WITH A SHORT BIOGRAPHY AND A BIBLIOGRAPHY RECOLLECTING OLE-JOHAN DAHL’S LIFE AND WORK, AS WELL AS&NBSP;A PAPER HE WROTE ENTITLED: "THE BIRTH OF OBJECT-ORIENTATION: THE SIMULA LANGUAGES." THE MAIN PART OF THE BOOK CONSISTS OF 14 SCIENTIFIC ARTICLES WRITTEN BY LEADING SCIENTISTS WHO&NBSP;WORKED WITH OLE-JOHAN DAHL AS STUDENTS OR COLLEAGUES. IN ACCORDANCE WITH THE SCOPE OF OLE-JOHAN DAHL’S WORK AND THE BOOK’S TITLE, THE ARTICLES ARE CENTERED AROUND OBJECT-ORIENTATION AND FORMAL METHODS.

售價:3598

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

	The Art of Computer Programming: Sorting and Searching 作者：Knuth, Donald E.出版社：Addison-Wesley 出版日期：1998年05月01日語言：英文 ISBN：0201896850裝訂：精裝 ...
	Common Lispcraft 作者：Wilensky, Robert出版社：W W Norton & Co Inc 出版日期：1986年06月01日語言：英文 ISBN：9780393955446裝訂：平裝 ...
	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 Way of Z: Practical Programming With Formal Methods 作者：Jacky, Jonathan出版社：Cambridge Univ Pr 出版日期：1997年06月01日語言：英文 ISBN：0521559766裝訂：平裝內容簡介topThis self-contained tutorial on Z presents realistic case studies emphasizing safety-critical syste ...
	Principles of Software Engineering Management 作者：Gilb, Thomas出版社：Addison-Wesley 出版日期：1988年04月01日語言：英文 ISBN：0201192462裝訂：平裝 ...
	Garbage Collection: Algorithms for Automatic Dynamic Memory Management 作者：Jones, Richard/ Lins, Rafael出版社：John Wiley & Sons Inc 出版日期：1996年08月01日語言：英文 ISBN：0471941484裝訂：精裝 ...
	Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices 作者：Jackson, Michael J.出版社：Addison-Wesley 出版日期：1995年06月01日語言：英文 ISBN：0201877120裝訂：平裝 ...
	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 ...
	Using CRC Cards: An Informal Approach to Object-Oriented Development 作者：Wilkinson, Nancy M.出版社：Cambridge Univ Pr 出版日期：1995年04月01日語言：英文 ISBN：0133746798裝訂：平裝 ...
	Programming With Constraints: An Introduction 作者：Marriott, Kim/ Stuckey, Peter J.出版社：Mit Pr 出版日期：1998年03月13日語言：英文 ISBN：0262133415裝訂：精裝 ...