|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Advanced Functional Programming: Third International School, Afp'98, Braga, Portugal, September 12-19, 1998, Revised Lectures 1999 Edition (Lecture Notes in Computer Science) | Swierstra, S. Doaitse | Paperback | 3540662413 / 9783540662419 | 07/1999 | $52.24 |
| | Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P 2001 Edition (Lecture Notes in Computer Science) | Oliveira, Jose N. | Paperback | 3540417915 / 9783540417910 | 02/2001 | $104.49 |
| | Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings 2019 Edition (Lecture Notes in Computer Science) | Ter Beek, Maurice H. | Paperback | 303030941X / 9783030309411 | 09/2019 | $52.24 |
|
|
|