|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540789161.jpg&wmax=80&hmax=80) | Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers 2008 Edition (Lecture Notes in Computer Science) | Hierons, Robert M. | Paperback | 3540789162 / 9783540789161 | 04/2008 | $52.24 |
| ![](thumb.php?src=products/364/9783642405600.jpg&wmax=80&hmax=80) | Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Hierons, Robert M. | Paperback | 3642405606 / 9783642405600 | 09/2013 | $52.24 |
| ![](thumb.php?src=products/354/9783540212195.jpg&wmax=80&hmax=80) | Testing of Communicating Systems: 16th Ifip International Conference, Testcom 2004, Oxford, Uk, March 17-19, 2004., Proceedings 2004 Edition (Lecture Notes in Computer Science) | Groz, Roland | Paperback | 3540212191 / 9783540212195 | 03/2004 | $52.24 |
|
|
|