Skip to content
Print
Login
Library home
My Library
New search
QuickSearch
Databases
Ask the Library
(More Searches)
Advanced Keyword
Title
Journal Title
Author
Subject
Resource Name
Call Number
ISBN
Government Document #
Author and Title
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
KEYWORD
TITLE
AUTHOR
SUBJECT
CALL NO
ISN
Search
Search Scope
Berwick campus library
Gippsland campus library
Mt Helen campus library
SMB campus library
Wimmera campus library
Online resources
Teacher resources
view all collections
Result page:
Title
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog.
Author
Apt, Krzysztof R.
Published
London : Springer-Verlag London, 2009.
Connect to Online version
Access eBook online
Descript.
v.: digital
Series
Texts in Computer Science,
1868-0941
Notes
Springer eBooks
Sys Details
eBook access requires you to log in as a Federation University Australia library user
Subject
Computer science
Logic design
Other Author
Boer, Frank S.
Olderog, Ernst-Rudiger.
SpringerLink (Online service)
ISBN
9781848827455
Bookmark link for this record
Result page:
