BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Formal Methods for Components and Objects:
First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures

by Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Marcello M. Bonsangue

ISBN 3540203036 / 9783540203032 / 3-540-20303-6
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $79.00
Find All Copies

 


› Find collectible copies of 'Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures'