Skip to main content
PRAGYAAN
Your cart is empty.
Cart
Lists
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Subject cloud
Libraries
Log in to your account
×
Login:
Password:
Home
Results of search for 'au:"Imperial College Department of Computing Workshop on Theory and Formal Methods"'
Refine your search
Availability
Limit to currently available items
Authors
Edalat, A.
Hankin, Chris
Jourdan, S.
Mackie, I.
McCusker, G.
Nagarajan, R.
Show more
Show less
Topics
Computer science
Electronic books
Formal methods (Comp...
Your search returned 2 results.
Sort
Sort by:
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)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Results
1.
Theory and formal methods of computing 94
[electronic resource] :
proceedings of the Second Imperial College Workshop /
editors, C. Hankin, I. Mackie, R. Nagarajan.
by
Hankin, Chris
Mackie, I. (Ian)
Nagarajan, R. (Rajagopal)
Imperial College of Science, Technology and Medicine. Department of Computing
Imperial College Department of Computing Workshop on Theory and Formal Methods
(2nd : 1994 : Cambridge, England)
Material type:
Computer file
; Format:
electronic available online
Publication details:
London : Singapore :
Imperial College Press ; Distributed by World Scientific,
©1995
Online resources:
Access to full text is restricted to subscribers.
Availability:
No items available.
Add to cart
(remove)
2.
Advances in theory and formal methods of computing
[electronic resource] :
proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 /
editors, A. Edalat, S. Jourdan, G. McCusker.
by
Edalat, A. (Abbas)
Jourdan, S. (Sofia)
McCusker, G. (Guy)
Imperial College of Science, Technology and Medicine. Department of Computing
Imperial College Department of Computing Workshop on Theory and Formal Methods
(3rd : 1996 : Oxford, England)
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publication details:
London : Singapore :
Imperial College Press ; Distributed by World Scientific Publishing Co. Pte Ltd.,
c1996
Online resources:
Access to full text is restricted to subscribers.
Availability:
No items available.
Add to cart
(remove)
Pages
Home
|
IITHLibrary
|
RAIITH
|
Catalog
A service provided by
IITHLibrary
© Copyright 2022-2023. IITHLibrary, IIT Hyderabad