J.F. Groote | A. Ponse Process algebra with guards
combining Hoare logic with process algebra
Gedrukt boek
combining Hoare logic with process algebra
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek