Showing
1 - 1
results of
1
for search '
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Reset Filters
Item Category:
Open Shelf (30 days)
Call Number:
Q - Science
Era:
1937-
Reset Filters
Show filters (3)
Item Category:
Open Shelf (30 days)
Call Number:
Q - Science
Era:
1937-
Search Results
Showing
1 - 1
results of
1
for search '
'
, query time: 0.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays Cliff B. Jones, Zhiming Liu, Jim Woodcock...
Published 2007
Call Number:
Loading...
Located:
Loading...
Get full text
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Library
Tembila General Collection
1
Collections
Book
1
Item Category
Open Shelf (30 days)
Format
Book
1
Call Number
Q - Science
Author
Bjorner, D.( 1937-)
1
Zhou, Chaochen( 1937-)
1
Language
English
1
Era
1937-
Year of Publication
From:
To:
×
Loading...