Proving termination of parallel programs / K.R. Apt, F.S. de Boer, E.R. Olderog

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

schema:CreativeWork schema:Book schema:ProductModel
rdfs:label "Proving termination of parallel programs / K.R. Apt, F.S. de Boer, E.R. Olderog"
schema:name "Proving termination of parallel programs"
schema:author Apt, Krzysztof R. (1949-)
Department of Mathematics and Computing Science (Eindhoven ; 1986-....). Computing Science Section
schema:contributor Boer, Frank Sipke de (1956-)
Olderog, Ernst-Rùˆdiger
schema:sameAs <http://www.worldcat.org/oclc/65720030>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/209e10ad62591628d8819a0b236a6900>
http://purl.org/dc/terms#issued "1990"
schema:about theoretische informatica
programmeren
schema:inLanguage "en"
schema:isPartOf Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section
schema:numberOfPages 7
schema:publication <https://data.bibliotheken.nl/.well-known/genid/0ab6c236217e8edaf494d5b033cb995f>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql