Showing
1 - 5
results of
5
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:
Other:
Remove Filter
Computer science
Author:
Remove Filter
Steffen, Bernhard
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Computer science
Author:
Remove Filter
Steffen, Bernhard
Search Results
Showing
1 - 5
results of
5
for search '
'
, query time: 0.18s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Computing and Software Science : State of the Art and Perspectives /
Published 2019
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
2
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings...
Published 2019
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Pro...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
4
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Procee...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
5
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Pro...
Published 2022
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
5 results
5
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
5 results
5
Steffen, Bernhard
Margaria, Tiziana
3 results
3
Beyer, Dirk
1 results
1
Huisman, Marieke
1 results
1
Kordon, Fabrice
1 results
1
Woeginger, Gerhard
1 results
1
see all…
Language
English
5 results
5
Loading...