Algorithms in C.

Algorithms in C.
Author :
Publisher : Addison-Wesley Professional
Total Pages : 702
Release :
ISBN-10 : 0201756080
ISBN-13 : 9780201756081
Rating : 4/5 (081 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
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.
Formal Methods Fact File
Language: en
Pages: 416
Authors: Andrew Harry
Categories: Computers
Type: BOOK - Published: 1996-10-10 - Publisher:

DOWNLOAD EBOOK

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the
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