An edition of Formal methods for components and objects (2006)

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

1 edition

by , , and

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal Methods for Components and Objects by
Preview Only
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
April 18, 2023 | History
Edit
An edition of Formal methods for components and objects (2006)

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

1 edition

by , , and

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer
Language
English
Pages
429

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Informatique, Approche orientee objet (Informatique), Composants logiciels, Methodes formelles (Informatique), Congres, Object-oriented programming (computer science), Computer software

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Formal Methods for Components and Objects
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
2009, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Formal Methods for Components and Objects
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
2008, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Formal Methods for Components and Objects
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)
September 25, 2006, Springer
Paperback in English - 1 edition
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA76.9.F67 F53 2005, QA76.758

The Physical Object

Format
Paperback
Number of pages
429
Dimensions
9.1 x 6.1 x 0.8 inches
Weight
1.4 pounds

ID Numbers

Open Library
OL9056720M
Internet Archive
formalmethodsfor0000fmco
ISBN 10
3540367497
ISBN 13
9783540367499
LCCN
2006930291
OCLC/WorldCat
71008339
Goodreads
4166313

Source records

amazon.com record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
marc_nuls MARC record
amazon.com record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
April 18, 2023 Edited by ImportBot import existing book
March 6, 2023 Edited by MARC Bot import existing book
December 30, 2022 Edited by MARC Bot import existing book
February 25, 2022 Edited by ImportBot import existing book
April 30, 2008 Created by an anonymous user Imported from amazon.com record