|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Boiten, Eerke | Paperback | 3540213775 / 9783540213772 | 03/2004 | $52.24 |
| | Refinement: Semantics, Languages and Applications Softcover Repri Edition | Derrick, John | Paperback | 3030064972 / 9783030064976 | 01/2019 | $52.24 |
| | Refinement: Semantics, Languages and Applications 2018 Edition | Derrick, John | Hardcover | 3319927094 / 9783319927091 | 09/2018 | $52.24 |
|
|
|