Marcello Bonsangue | E.P. de Vink Metric predicate transformaters
towards a notion of refinement for concurrency
Gedrukt boek
towards a notion of refinement for concurrency
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek