Assertional verification in distributed computing / Anna Adriana Schoone

<http://data.bibliotheken.nl/id/nbt/p084475072>

Proefschrift Utrecht

rdfs:label	"Assertional verification in distributed computing / Anna Adriana Schoone"
schema:name	"Assertional verification in distributed computing"
schema:author	Schoone, Anna Adriana (1951-)
schema:description	"Proefschrift Utrecht"
schema:sameAs	<http://www.worldcat.org/oclc/905501062>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/12ac5db56e6dc12cecac931d265c58ee>
http://purl.org/dc/terms#issued	"1991"
schema:about	Verification
	Distributed dataprocessing
	computerwiskunde
	algoritmen
	<http://data.bibliotheken.nl/id/thes/p077605241>
schema:inLanguage	"en"
schema:numberOfPages	191
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/2574e05fa30850c9134f33aaf813054c>