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), Susanne Graf (Series Editor), Willem-Paul de Roever (Series Editor)

New
Paperback
2009
$78.98

$78.98

Save:$5.36 (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

$78.98

$78.98

More Information