Showing
1 - 1
results of
1
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
Computer software
Page will reload when a filter is removed.
Show filters (1)
Suggested Topics:
Remove Filter
Computer software
Search Results - 9783319671932~
Suggested Topics within your search.
Suggested Topics within your search.
Computer programs
1
Computer software
Formal methods (Computer science)
1
Reliability
1
Software engineering
1
Verification
1
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop o...
Published 2017
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
1 results
1
Item type
Ebook
1 results
1
Year of Publication
From:
To: