Specification and Analysis of Discrete Systems:: A Programmer's Perspective

Gopalakrishnan, Ganesh

  • 出版商: CRC
  • 出版日期: 2023-12-31
  • 售價: $3,040
  • 貴賓價: 9.5$2,888
  • 語言: 英文
  • 頁數: 400
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1138556661
  • ISBN-13: 9781138556669



This class-tested textbook provides a comprehensive and accessible introduction to discrete systems. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. The book uses multiple notations to convey each idea, and also multiple automated tools. It also adopts a programmer's perspective, using a declarative subset of Python to emphasize the "what" and not the "how." A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students.


Ganesh Gopalakrishnan is a professor in the Computer Science Department at the University of Utah.