Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Introduction to process algebra
Normal view
MARC view
ISBD view
Introduction to process algebra
By:
Fokink, Wa
.
Material type:
Book
Publisher:
Berlin:
Springer,
2000
Description:
963 p.; ill
.
ISBN:
9783540665793.
Subject(s):
Algebra
|
Protocol verification
DDC classification:
004
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
004 FOK (
Browse shelf
)
Available
008744
Browsing DAIICT Shelves
Close shelf browser
Previous
Next
004 FIS
Aesthetic computing
004 FLE
Algorithms and computation : fifteenth international symposium, ISAAC 2004 Honh Kong, China, December 2004 ; proceedings
004 FOC
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Turorial Lectures
004 FOK
Introduction to process algebra
004 FOS
Applied algebra, algebraic algorithms, and error-correcting codes
004 FRA
Advances in cryptology : CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings
004 FRE
Fire in the Valley
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.