J.A. Bergstra The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek