F. van Breugel Relating state transformation semantics and predicate transformer semantics for parallel programs
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek