Formal methods in computer science /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
CRC Press, Taylor & Francis Group,
|
Publisher Address: | Boca Raton, FL : |
Publication Dates: | [2020] |
Literature type: | Book |
Language: | English |
Series: |
Textbooks in mathematics
|
Subjects: | |
Item Description: |
Includes index. "A Chapman & Hall Book" -- title page. |
Carrier Form: | xvii, 294 pages : illustrations ; 24 cm. |
ISBN: |
9780367225704 0367225700 9781498775328 1498775322 |
Index Number: | QA76 |
CLC: | TP301 |
Call Number: | TP301/W246 |