Publisher's Synopsis
Verified Software. Theories, Tools and Experiments.
Paperback (02 Feb 2023)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Verified Software. Theories, Tools and Experiments.
ISBN: | 9783031258046 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 02 Feb 2023 |
Language: | English |
Number of pages: | 180 |
Weight: | 262g |
Height: | 234mm |
Width: | 156mm |