Author: Manoochchr Azmoodeh
Publisher: Springer
ISBN: 1349211516
Category : Computers
Languages : en
Pages : 395

View

Book Description
Intended as a second course on programming with data structures, this book is based on the notion of an abstract data type which is defined as an abstract mathematical model with a defined set of operations.

Author: David A. Watt
Publisher: John Wiley & Sons
ISBN:
Category : Computers
Languages : en
Pages : 572

View

Book Description
A unique, practical approach to working with collection classes in Java 2 Software developers new to Java will find the practical, software-engineering based approach taken by this book extremely refreshing. With an emphasis more on software design and less on theory, Java Collections explores in detail Java 2 collection classes, helping programmers choose the best collection classes for each application they work on. Watt and Brown explore abstract data types (ADTs) that turn up again and again in software design, using them to provide context for the data structures required for their implementation and the algorithms associated with the data structures. Numerous worked examples, several large case studies, and end-of-chapter exercises are also provided.

Author: Nell Dale
Publisher: Jones & Bartlett Learning
ISBN: 9780669400007
Category : Computers
Languages : en
Pages : 770

View

Book Description
Since 1985 Nell Dale's texts have helped shape the way computer science is taught. Now she and Henry Walker, an accomplished instructor and author in his own right, are proposing a new focus for the junior/senior level data structures course. A timely response to the prevalence of object-oriented programming, this new text expands the focus of the advanced data structures course to examine not only the structure of a data object but also its type. This new focus gives students the opportunity to look at data objects from the point of view of both user and implementer.

Author: Daniel F. Stubbs
Publisher: PWS Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 498

View

Book Description

Author: Michael S. Jenkins
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 356

View

Book Description
Accompanying CD-ROM has complete source code for abstract data types in Java as discussed in the book and Java development kit (JDK) version 1.13.

Author: Rachel Harrison
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 232

View

Book Description
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.

Author: Bradley N. Miller
Publisher: Franklin Beedle & Associates
ISBN: 9781590282571
Category : Algorithms
Languages : en
Pages : 0

View

Book Description
Thes book has three key features : fundamental data structures and algorithms; algorithm analysis in terms of Big-O running time in introducied early and applied throught; pytohn is used to facilitates the success in using and mastering data strucutes and algorithms.

Author: Brian Harvey
Publisher: MIT Press
ISBN: 9780262082815
Category : Computers
Languages : en
Pages : 620

View

Book Description
Showing off scheme - Functions - Expressions - Defining your own procedures - Words and sentences - True and false - Variables - Higher-order functions - Lambda - Introduction to recursion - The leap of faith - How recursion works - Common patterns in recursive procedures - Advanced recursion - Example : the functions program - Files - Vectors - Example : a spreadsheet program - Implementing the spreadsheet program - What's next?

Author: Jacques Loeckx
Publisher: Vieweg+Teubner Verlag
ISBN:
Category : Computers
Languages : en
Pages : 280

View

Book Description
Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.

Author: Wolfgang Schreiner
Publisher: Springer Nature
ISBN: 3030805077
Category : Mathematics
Languages : en
Pages : 660

View

Book Description
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this “logical” approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on respectively make use of the presented logical underpinnings.