Unifying functional, object-oriented and relational programming with logical semantics:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Goguen, Joseph 1941-2006 (VerfasserIn), Meseguer, José (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Stanford, CA CSLI 1987
Schriftenreihe:Report / Center for the Study of Language and Information 93
Umfang:65 S. graph. Darst.