![From Object-orientation To Formal Methods: Essays In Memory Of Ole-johan Dahl](http://addons.books.com.tw/G/F01/1/5/3/F011545153.jpg) |
|
作者: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 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 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
![](http://addons.books.com.tw/G/books2006/images/cart01.gif)
|
###其他選擇連結###
![The Art of Computer Programming: Sorting and Searching](http://addons.books.com.tw/G/F01/0/3/3/F010063463.jpg) | The Art of Computer Programming: Sorting and Searching
作者:Knuth, Donald E.出版社:Addison-Wesley 出版日期:1998年05月01日 語言:英文 ISBN:0201896850裝訂:精裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Common Lispcraft](http://addons.books.com.tw/G/F01/1/2/2/F011512262.jpg) | Common Lispcraft
作者:Wilensky, Robert出版社:W W Norton & Co Inc 出版日期:1986年06月01日 語言:英文 ISBN:9780393955446裝訂:平裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![The Little Schemer](http://addons.books.com.tw/G/F01/0/3/1/F010053811.jpg) | 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 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![The Way of Z: Practical Programming With Formal Methods](http://addons.books.com.tw/G/F01/0/5/6/F010485456.jpg) | 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 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Principles of Software Engineering Management](http://addons.books.com.tw/G/F01/0/1/8/F010021808.jpg) | Principles of Software Engineering Management
作者:Gilb, Thomas出版社:Addison-Wesley 出版日期:1988年04月01日 語言:英文 ISBN:0201192462裝訂:平裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Garbage Collection: Algorithms for Automatic Dynamic Memory Management](http://addons.books.com.tw/G/F01/0/4/1/F010054131.jpg) | Garbage Collection: Algorithms for Automatic Dynamic Memory Management
作者:Jones, Richard/ Lins, Rafael出版社:John Wiley & Sons Inc 出版日期:1996年08月01日 語言:英文 ISBN:0471941484裝訂:精裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices](http://addons.books.com.tw/G/F01/0/2/8/F010052018.jpg) | Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices
作者:Jackson, Michael J.出版社:Addison-Wesley 出版日期:1995年06月01日 語言:英文 ISBN:0201877120裝訂:平裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Gnu Emacs Pocket Reference](http://addons.books.com.tw/G/F01/0/3/9/F010083639.jpg) | 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 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Using CRC Cards: An Informal Approach to Object-Oriented Development](http://addons.books.com.tw/G/F01/1/5/5/F011355495.jpg) | Using CRC Cards: An Informal Approach to Object-Oriented Development
作者:Wilkinson, Nancy M.出版社:Cambridge Univ Pr 出版日期:1995年04月01日 語言:英文 ISBN:0133746798裝訂:平裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) | ![Programming With Constraints: An Introduction](http://addons.books.com.tw/G/F01/0/4/4/F010074064.jpg) | Programming With Constraints: An Introduction
作者:Marriott, Kim/ Stuckey, Peter J.出版社:Mit Pr 出版日期:1998年03月13日 語言:英文 ISBN:0262133415裝訂:精裝 ...
![](http://addons.books.com.tw/G/books2006/images/cart01.gif) |
資料來源:博客來 |
book02 發表在 痞客邦 留言(0) 人氣()