Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)
By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever
"Formal Methods for Components and Objects" is published by Springer in October 26, 2005, it has 325 pages and the language of the book is English.
“Formal Methods for Components and Objects” Metadata:
- Title: ➤ Formal Methods for Components and Objects
- Authors: Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever
- Language: English
- Number of Pages: 325
- Publisher: Springer
- Publish Date: October 26, 2005
“Formal Methods for Components and Objects” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Software engineering - Computer science - Operating systems (Computers) - Logic design - Programming Languages, Compilers, Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Programming Techniques
Edition Specifications:
- Format: Paperback
- Weight: 1.2 pounds
- Dimensions: 9.8 x 6.5 x 1 inches
Edition Identifiers:
- The Open Library ID: OL9680079M - OL16932226W
- Online Computer Library Center (OCLC) ID: 61766573
- Library of Congress Control Number (LCCN): 2005932547
- ISBN-13: 9783540291312
- ISBN-10: 3540291318
- All ISBNs: 3540291318 - 9783540291312
AI-generated Review of “Formal Methods for Components and Objects”:
Read “Formal Methods for Components and Objects”:
Read “Formal Methods for Components and Objects” by choosing from the options below.
Search for “Formal Methods for Components and Objects” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods for Components and Objects” in Libraries Near You:
Read or borrow “Formal Methods for Components and Objects” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Methods for Components and Objects” at a library near you.
Buy “Formal Methods for Components and Objects” online:
Shop for “Formal Methods for Components and Objects” on popular online marketplaces.