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

by Ganesh Gopalakrishnan (Author)

• New

  Hardcover
  2019

  $82.08

  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.