|
rdfs:label
|
"Models and logics for process algebra / Mark Bastiaan van der Zwaag"
|
|
schema:name
|
"Models and logics for process algebra"
|
|
schema:author
|
Instituut voor Programmatuurkunde en Algoritmiek
|
|
Zwaag, Mark Bastiaan van der
|
|
schema:description
|
"Research carried out under the auspices of the Institute for Programming Research and Algorithmics (IPA)"
|
|
"Proefschrift Universiteit van Amsterdam"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/783093076>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/15b4e1c52276ef8f41eabbfc1a643a41>
|
|
kbdef:hasDerivative
|
Models and logics for process algebra / Mark Bastiaan van der Zwaag
|
|
http://purl.org/dc/terms#issued
|
"2002"
|
|
schema:about
|
<http://data.bibliotheken.nl/id/thes/p077605306>
|
|
<http://data.bibliotheken.nl/id/thes/p077605403>
|
|
Process algebra
|
|
procesalgebra
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
IPA dissertation series
|
|
schema:isbn
|
"9051706367"
|
|
schema:numberOfPages
|
159
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/b2f09ed0b354dafb8436f7c4fd362f0b>
|