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.
Paperback (13 Apr 2024)
Not available for sale
Includes delivery to the United States
Out of stock
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: | 9783031249365 |
Publisher: | Springer International Publishing |
Imprint: | Springer |
Pub date: | 13 Apr 2024 |
DEWEY: | 511.8 |
DEWEY edition: | 23 |
Language: | English |
Number of pages: | 271 |
Weight: | -1g |
Height: | 235mm |
Width: | 155mm |