ISBN-13: 9780521448673 / Angielski / Miękka / 2009 / 344 str.
First published in 1990, this book discusses the application of formal methods to the human-computer interface.
Czytaj nas na: