Paperback
Not available for sale
Includes delivery to the United States
Out of stock
A significant insight into Baltic computer science within the scope of the last 10-15 years. The volume contains both the results published mainly in Russian and completely new results. Contributions address: deductive synthesis of programs, inductive synthesis of programs, automatic test case generation, specification and verification of distribut
| ISBN: | 9780387541310 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 619 |
| Weight: | -1g |
$3.25off
Paperback
Published 16 Mar 2022
Save $3.25
$7.49off
Hardback
Published 06 Sep 2023
Save $7.49
$3.90off
Paperback
Published 22 Nov 2023
Save $3.90
