Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science)

by Frank S. de Boer (Editor), Marcello M. Bonsangue (Series Editor), Willem-Paul de Roever (Series Editor), Susanne Graf (Series Editor)

New
Paperback
2009
$73.90

$73.90

Save:$5.01 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 384
Edition: 2004
Publisher: Springer
Published: 22 Feb 2009
ISBN 10: 3540229426
ISBN 13: 9783540229421

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science)

New

$73.90

$73.90

More Information