Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Maura Cerioli, Gianna Reggio (eds.)
Bok Engelsk 2001 WADT 2001
Utgitt | Berlin : Springer , c2001
|
---|---|
Omfang | X, 343 s. : ill.
|
Emner | Abstract data types (Computer science)
Computer software - Development Algebraisk spesifikasjon (Programutvikling) Algebraisk spesifikasjon Vis mer... Computer Science
Engineering & Applied Sciences Programutvikling Algebraisk spesifikasjon((NO-TrBIB)REAL011385) programutvikling algebraisk spesifikasjon |
Dewey | |
ISBN | 3540431594
|