Algorithms in C.

Algorithms in C.
Author :
Publisher : Addison-Wesley Professional
Total Pages : 702
Release :
ISBN-10 : 0201756080
ISBN-13 : 9780201756081
Rating : 4/5 (80 Downloads)

Book Synopsis Algorithms in C. by : Robert Sedgewick

Download or read book Algorithms in C. written by Robert Sedgewick and published by Addison-Wesley Professional. This book was released on 2001 with total page 702 pages. Available in PDF, EPUB and Kindle. Book excerpt: This text aims to provide an introduction to graph algorithms and data structures and an understanding of the basic properties of a broad range of fundamental graph algorithms. It is suitable for anyone with some basic programming concepts. It covers graph properties and types, graph search, directed graphs, minimal spanning trees, shortest paths, and networks.


Algorithms in C. Related Books

Algorithms in C.
Language: en
Pages: 702
Authors: Robert Sedgewick
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This text aims to provide an introduction to graph algorithms and data structures and an understanding of the basic properties of a broad range of fundamental g
Understanding Formal Methods
Language: en
Pages: 288
Authors: Jean-Francois Monin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin
Practical TLA+
Language: en
Pages: 234
Authors: Hillel Wayne
Categories: Computers
Type: BOOK - Published: 2018-10-11 - Publisher: Apress

DOWNLOAD EBOOK

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr
Formal Methods: State of the Art and New Directions
Language: en
Pages: 290
Authors: Paul Boca
Categories: Computers
Type: BOOK - Published: 2009-12-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va
Applications of Formal Methods
Language: en
Pages: 480
Authors: Michael Gerard Hinchey
Categories: Computers
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.