PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Palanque P., Paterṇ F. Design, specification and verification of interactive systems 2000. G. Goos, J. Hartmanis and J. van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 1946). Springer, 2000.
 
 
Abstract
(English)
No abstract available
Subject user interfaces
H.5.2 User Interfaces
F.3 Logics and meanings of programs


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional