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.