Partsch, Helmut A. (1950-)

<http://data.bibliotheken.nl/id/thes/p074864467>

schema:Person
rdfs:label "Partsch, Helmut A. (1950-)"
schema:name "Helmut A. Partsch"
schema:familyName "Partsch"
schema:givenName "Helmut A."
schema:birthDate "1950"
schema:sameAs <http://viaf.org/viaf/111106886>
<https://isni.org/isni/0000000110047265>
wd:Q71164148
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/367769ded315d50d13d3fc8954cea7fe>

Inverse relations

[ .. ] → schema:author → Partsch, Helmut A. (1950-)

A formal derivation of Boyer and Moore's pattern matching algorithm / H. Partsch, F.A. Stompschema:ProductModel Formale Anforderungsdefinition : algebraische Spezifikation funktionaler Anforderungen / H. Partschschema:ProductModel From informal requirements to a running program : a case study in algebraic specification and transformational programming / H. Partschschema:ProductModel Konstruktion korrekter Programme durch Transformation / H. Partsch, B. Möllerschema:ProductModel Some experiments in transforming towards parallel executability / H.A. Partschschema:ProductModel The majority problem / H. Partschschema:ProductModel

[ .. ] → schema:contributor → Partsch, Helmut A. (1950-)

Formalizing informal requirements : some aspects / N.W.P. van Diepen, H.A. Partschschema:ProductModel Transformational derivation of (parallel) programs using skeletons / Eerke A. Boiten , A. Max Geerling, Helmut A. Partschschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql