Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

1 edition
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
March 28, 2025 | History

Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

1 edition

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
509

Buy this book

Book Details


Classifications

Library of Congress
QA76.9.F67 F53 2002, QA75.5-76.95

The Physical Object

Format
Paperback
Number of pages
509
Dimensions
9.1 x 6.1 x 1.2 inches
Weight
1.6 pounds

Edition Identifiers

Open Library
OL9362820M
ISBN 10
3540203036
ISBN 13
9783540203032
LCCN
2003066671
OCLC/WorldCat
53183415
Goodreads
2698126

Work Identifiers

Work ID
OL16966927W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
September 21, 2024 Edited by MARC Bot import existing book
January 7, 2023 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
April 30, 2008 Created by an anonymous user Imported from amazon.com record