Choice quantification in process algebra (Book, 2002) [WorldCat.org]
skip to content
Choice quantification in process algebra
Checking...

Choice quantification in process algebra

Author: Sebastiaan Pascal Luttik
Publisher: Amsterdam : Thela Thesis, 2002.
Series: IPA Dissertation Series, 2002-04.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Sebastiaan Pascal Luttik
ISBN: 9090156240 9789090156248
OCLC Number: 804033542
Description: V, 159 s. ; 24 cm.
Series Title: IPA Dissertation Series, 2002-04.
Responsibility: Sebastiaan Pascal Luttik.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.