Showing
1 - 1
results of
1
for search '
"Queen's Award for Technological Achievement"
'
Skip to content
University Libraries Home
Law Library Home
Login to My Library Account
Help
Library Catalog
All Fields
Title
Journal Title
Author
Subject
Call Number
ISBN/ISSN
Series
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Browse Alphabetically: By Call Number
Search
Advanced
Limit to Law Library
Search Results - "Queen's Award for Technological Achievement"
Suggested Topics within your search.
Suggested Topics within your search.
Formal methods (Computer science)
1
Showing
1 - 1
results of
1
for search '
"Queen's Award for Technological Achievement"
'
, query time: 0.41s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
The application of formal methods : essays dedicated to Jim Woodcock on the occasion of his retirement /
Published 2024
Call Number:
Loading…
Located:
Loading…
Full Text (via Springer)
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
1 results
1
Year of Publication
From:
To:
Library
Online
1 results
1
Shelving Location
Please enable JavaScript.
Author
Foster, Simon
1 results
1
Sampaio, Augusto
1 results
1
Woodcock, Jim
1 results
1
Call Number
Q - Science
1 results
1
Language
English
1 results
1
Series
Lecture notes in computer science
1 results
1
Loading...