skip to content
Choice quantification in process algebra Preview this item
ClosePreview this item
Checking...

Choice quantification in process algebra

Author: Sebastiaan Pascal Luttik
Series: IPA dissertation series., Instituut voor Programmatuurkunde en Algoritmiek ;, 2002,4
Edition/Format:   Manuscript   Archival Material : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Material Type: Manuscript
Document Type: Book, Archival Material
All Authors / Contributors: Sebastiaan Pascal Luttik
ISBN: 9090156240 9789090156248
OCLC Number: 249396657
Description: V, 159 Seiten Diagramme
Series Title: IPA dissertation series., Instituut voor Programmatuurkunde en Algoritmiek ;, 2002,4
Responsibility: door Sebastiaan Pascal Luttik

Reviews

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

Tags

Be the first.

Similar Items

Confirm this request

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

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/249396657<\/a>> # Choice quantification in process algebra<\/span>\n\u00A0\u00A0\u00A0\u00A0a \npto:Manuscript<\/a>, schema:CreativeWork<\/a>, library:Diagnostic<\/a>, schema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"249396657<\/span>\" ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Topic\/prozessalgebra_swd_id_42839208<\/a>> ; # Prozessalgebra ; SWD-ID: 42839208<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Topic\/hochschulschrift<\/a>> ; # Hochschulschrift<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/249805456<\/a>> ; # Sebastiaan Pascal Luttik<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/50602578<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Series\/ipa_dissertation_series<\/a>> ; # IPA dissertation series.<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Choice quantification in process algebra<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"249396657<\/span>\" ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9789090156248<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/249396657<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Series\/ipa_dissertation_series<\/a>> # IPA dissertation series.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/249396657<\/a>> ; # Choice quantification in process algebra<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"IPA dissertation series.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"IPA dissertation series<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Topic\/hochschulschrift<\/a>> # Hochschulschrift<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Hochschulschrift<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/50602578#Topic\/prozessalgebra_swd_id_42839208<\/a>> # Prozessalgebra ; SWD-ID: 42839208<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Prozessalgebra ; SWD-ID: 42839208<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/purl.org\/library\/Diagnostic<\/a>>\u00A0\u00A0\u00A0\nrdfs:comment<\/a> \"StdRT2: mss<\/span>\" ;\u00A0\u00A0\u00A0\nrdfs:comment<\/a> \"StdRT: Book<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/249805456<\/a>> # Sebastiaan Pascal Luttik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Luttik<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Sebastiaan Pascal<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Sebastiaan Pascal Luttik<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9789090156248<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9090156240<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9789090156248<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n