Delivery included to the United States

Specification and Analysis of Discrete Systems

Specification and Analysis of Discrete Systems A Programmer's Perspective

Hardback (05 Jan 2026)

  • $97.14
Pre-order

Includes delivery to the United States

Publisher's Synopsis

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.

Book information

ISBN: 9781138556669
Publisher: CRC Press
Imprint: Chapman & Hall/CRC
Pub date:
DEWEY: 003.83
DEWEY edition: 23
Language: English
Number of pages: 400
Weight: -1g
Height: 254mm
Width: 178mm