Showing
1 - 2
results of
2
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Bernardo, Marco
Format:
Remove Filter
Conference Proceeding
Other:
Remove Filter
Logiciels
Page will reload when a filter is removed.
Reset Filters
Show filters (3)
Author:
Remove Filter
Bernardo, Marco
Format:
Remove Filter
Conference Proceeding
Other:
Remove Filter
Logiciels
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.12s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...
Published 2003
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...
Published 2004
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Conference Proceeding
eBook
2 results
2
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
2 results
2
SpringerLink (Online service)
2 results
2
Corradini, Flavio
1 results
1
Inverardi, Paola
1 results
1
Language
English
2 results
2
Geography
Bertinoro
1 results
1
Bertinoro (2004)
1 results
1
Loading...