Fernando Roig (ed.); Jailson Alcaniz (ed.); Ramiro de la Reza (ed.); Dalton Lopes (ed.) American Institute of Physics (2007) Saatavuus: Loppuunmyyty Kovakantinen kirja
Ricardo Alarcon (ed.); Philip L. Cole (ed.); Chaden Djalali (ed.); Fernando Umeres (ed.) American Institute of Physics (2007) Saatavuus: Loppuunmyyty Kovakantinen kirja
José Luis Oliveira (ed.); Víctor Maojo (ed.); Fernando Martin-Sanchez (ed.); António Sousa Pereira (ed.) Springer (2005) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Fernando Etayo (ed.); Mario Fioravanti (ed.); Rafael Santamaría (ed.) American Institute of Physics (2009) Saatavuus: Loppuunmyyty Pehmeäkantinen kirja
Fernando Roig (ed.); Dalton de Faria Lopes (ed.); Ramiro Reza (ed.); Vladimir Ortega (ed.) American Institute of Physics (2009) Saatavuus: Loppuunmyyty Kovakantinen kirja
Springer Sivumäärä: 384 sivua Asu: Pehmeäkantinen kirja Painos: 1991 Julkaisuvuosi: 1991, 11.09.1991 (lisätietoa) Kieli: Englanti
The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.