Showing
1 - 1
results of
1
for search '
'
Skip to content
Feedback
Your Account
Log Out
Login
Česky
For information on the current operation of libraries, see their
websites
.
All Fields
Title
Author
Subject
ISBN/ISSN
Call Number
Barcode
System Number
Find
Advanced Search
Advanced Search
Retain current filters
topic_facet:"computer systems"
author_facet:"Clarke, E. M., 1945-"
author_facet:"Henzinger, T. A., 1962-"
building:"FI"
Search:
Showing
1 - 1
results of
1
for search '
'
, query time: 0.07s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Handbook of model checking /
Published 2018
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Remove Filters
Clear Filter
Suggested Topics: computer systems
Clear Filter
Author: Clarke, E. M., 1945-
Clear Filter
Author: Henzinger, T. A., 1962-
Clear Filter
Library: Faculty of Informatics
Library
Faculty of Informatics
Format
Book
1
Author
Bloem, Roderick
1
Clarke, E. M., 1945-
Henzinger, T. A., 1962-
Veith, Helmut
1
Language
English
1
Suggested Topics
Počítačová věda. Výpočetní technika. Informační technologie
1
computer modeling
1
computer systems
počítačové modelování
1
počítačové systémy
1
software
1
Genre
monografie
1
monographs
1
Year of Publication
From:
To:
×
Loading...