Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, C - detaljert visning

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings


Utgitt	Berlin : Springer , c1995
Omfang	XIV, 591 s. : ill.
Emner	Abstract data types (Computer science) - Congresses Software engineering - Congresses Matematisk databehandling semantikk programmeringsspråk matematisk logikk programutvikling sanntidssystemer programmering teori algebra
ISBN	3540600434