Abstract Data Types in Standard ML - Harrison, Rachel

Abstract Data Types in Standard ML

Rachel Harrison

Yayınevi: John Wiley

Yayın tarihi: 04/1993

ISBN: 9780471938446

İngilizce | 222 Sayfa |

Tür: Bilgisayar-Akademik  |  Bilgisayar / Programlama

  • Temin Süresi 28 - 42 iş günü

  • ÜYE GİRİŞİ YAPIN

    temin süresi ve fiyatını size bildirelim

  • ÜYE GİRİŞİ YAPIN

    stoklarımıza girdiğinde bilgilendirelim

Abstract Data Types in Standard ML Rachel Harrison University of Southampton, UK This book presents a thorough treatment of data abstraction within a functional framework. The approach to abstract data types strikes a balance between the theoretical and the practical, stressing the importance of producing reliable, high quality code which is robust and reusable. Exercises are provided, as well as numerous annotated algorithms in Standard ML. Emphasis is placed on the key concepts of specification, modularity and generality. Each chapter shows how to specify, apply and implement generic abstract data types, and the specifications are used to verify and validate the correctness of the implementations. Students of software engineering will find this book particularly attractive—for courses such as advanced programming, program design, algorithms and data structures, and program specification. It will also serve as a useful post-introductory text for courses on functional programming.

Table of Contents

Lists.
Stacks.
Queues.
Binary Trees.
Ordered Binary Trees.
2-3 Trees.
Sets.
Graphs.
Appendices.
Bibliography.
Index.

İlgili Ürünler

Bu Türde Çok Satanlar

Kredi Kartına Taksit İmkanı
  • 3 Taksit

  • 3 Taksit

  • 3 Taksit

  • 3 Taksit

©1996-2018 Pandora Yayın ve Kitap Hizmetleri A.Ş.

Mersis No: 0721-0430-4310-0015

Tasarım : Logo Site Tasarımı