|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science) | Butler, Michael | Paperback | 3642214363 / 9783642214363 | 06/2011 | $52.24 |
| | Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004 2004 Edition (Lecture Notes in Computer Science,) | Davies, Jim | Paperback | 3540238417 / 9783540238416 | 10/2004 | $104.49 |
| | Model-Driven Engineering Languages and Systems: 17th International Conference, Models 2014, Valencia, Spain, September 283- October 4, 2014. Proceedin 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Dingel, Juergen | Paperback | 3319116525 / 9783319116525 | 09/2014 | $52.24 |
|
|
|