Publisher's Synopsis
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.
Hardback (12 Apr 2023)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.
ISBN: | 9783031249334 |
Publisher: | Springer International Publishing |
Imprint: | Springer |
Pub date: | 12 Apr 2023 |
DEWEY: | 511.8 |
DEWEY edition: | 23 |
Language: | English |
Number of pages: | 280 |
Weight: | 576g |
Height: | 235mm |
Width: | 155mm |
Spine width: | 18mm |