Logging in...
User ID
Password
Register
Forgot your PIN?
Forgot my PIN
Enter your username and a recovery link will be emailed to the email address on file at your library.
User ID
Skip to:
Search Results
|
Content
|
Bottom
Search Results for
Home
Log In
My Account
My Lists
Disable Accessibility Mode
Help
Rooms Restriction Values
All Fields
Title
Author
General Note
Keyword in Author headings
Subject
Keyword in Subject headings
ISBN
Preferred Shelf Number
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Search Options
Search Options
Home Room
Book Collection
E-Book Collection
Multimedia Collection
Thesis Collection
Transportation Engineering Collection
Periodicals Collections
Green Campus
5 Results
Sort
Selected
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Filter
Only Show Available
Narrowed by:
Clear all
Included
Boer, Frank S. editor.
Included
Software engineering.
Author
Material Type
Language
Publication Date
Subject
Shelf Location
Library
false
Sort By: A to Z
Sort By: Number of Results
{displayName}
{count}
{error}
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
00000
DEFAULT
Title
Select a list
Temporary List
Always add to this list
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
by
Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-92188-2
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
by
Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
by
Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-74792-5
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
by
Boer, Frank S. editor.
http://dx.doi.org/10.1007/11804192
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
by
Boer, Frank S. editor.
http://dx.doi.org/10.1007/11561163
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Go to:
Search Results
|
Top of Page