Đang tải...

Chúc các cụ buổi chiều làm việc hiệu quả!

"Không làm nhanh, không ham lợi nhỏ. Làm nhanh dễ hư chuyện; thấy lợi nhỏ mà ham thì không thể làm nên chuyện lớn"

Categories for Software Engineering

Thảo luận trong 'Thùng rác diễn đàn' bắt đầu bởi Ctrl+V, 27/2/10.

Thành viên đang xem bài viết (Users: 0, Guests: 0)

  1. Ctrl+V
    Offline

    Ctrl+V Tài xế O-H

    Tham gia ngày:
    9/1/10
    Số km:
    556
    Được đổ xăng:
    1
    Xăng:
    -1,195 lít xăng
    [​IMG]
    Categories for Software Engineering
    Publisher: Springer | ISBN: 3540209093 | edition 2004 | PDF | 250 pages | 11,1 mb ​

    This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems.
    link:
    Hotfile.com: One click file hosting
    RapidShare: 1-CLICK Web hosting - Easy Filehosting
     

Chia sẻ trang này