Algorithmics. The spirit of computing.

David, Harel:

ISBN 10: 0201504014 / ISBN 13: 9780201504019

Published by Harlow, Addison-Wesley, 2001

About this Item

476 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780201504019 Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 2340319

Bibliographic Details

• Title: Algorithmics. The spirit of computing.
• Publisher: Harlow, Addison-Wesley
• Publication Date: 2001
• Language: English
• ISBN 10: 0201504014
• ISBN 13: 9780201504019
• Binding: Softcover
• Edition: 2. ed., reprinted.
• Weight: 550 grams
• Seller catalogs:
  • TA Allgemeine Naturwissenschaften

About this title

Synopsis

Providing a thorough, well-written and thoughtful study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms, this book is ideal for an introductory course emphasizing theory rather than programming
 

From the Back Cover

From a review of the first edition:

‘This book is a veritable tour de force. Harel writes with uncommon verve, clarity and imagination.'

‘Through the use of tantalizing questions and aptly chosen and often amusing examples, the author transmits to the reader the excitement and intellectual satisfaction of computer science research. Without the use of formal mathematics and without any sacrifice of intellectual integrity, he conveys to the general reader the profound principles on which computer science is founded and which hitherto were only accessible in abstruse and esoteric textbooks and papers.'

‘This is scientific writing at its best.'

Dr Stan Scott, Queen's University Belfast. The Times Higher Education Supplement.

This book tells the story of the concepts, ideas, methods and results fundamental to computer science, in a form independent of the details of specific computers, languages and formalisms. It concerns the true 'spirit' of computers; with the 'recipes' that make them tick - their algorithms.

New to this edition

• Chapters on software engineering and on reactive systems.

• Thoroughly revised chapter on programming languages.

• New material on quantum and molecular computing.

• Whole text thoroughly updated to include new material on many topics, including abstract data types, the object-oriented paradigm, primality testing, and system verification and validation.

David Harel is Professor and Dean of the Faculty of Mathematics and Computer Science at the Weizmann Institute of Science. He is renowned for outstanding research in many areas of the field, and has recently been awarded the Israel Prize in Computer Science.

Yishai Feldman is on the faculty of the Efi Arazi School of Computer Science at the Interdisciplinary Centre, Herzliya. He specializes in the use of atificial-intelligence techniques in software engineering and its real-world applications.