Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Holzmann, Gerard J.
Huizinga, Dorota
Kolawa, Adam
Pflanz, Matthias
Item types
Books
Series
Lecture notes in com...
Topics
Computer programs Co...
Computer Programs Te...
Data processing
Debugging in compute...
DLX recorder buffer
Show more
Your query retrived 3 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
SPIN model checker : primer and reference manual
by
Holzmann, Gerard J.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boston: Addison-Wesley, 2003
Availability:
Items available for loan:
[
Call number:
620.0011 HOL] (1).
Place hold
2.
Automated Defect Prevention : best practices in software management
by
Huizinga, Dorota
|
Kolawa, Adam.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Hoboken John Wiley & Sons, 2007
Availability:
Items available for loan:
[
Call number:
005 HUI] (1).
Place hold
3.
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by
Pflanz, Matthias.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Berlin: Springer, 2002
Availability:
Items available for loan:
[
Call number:
004 PFL] (1).
Place hold
Powered by
Koha