See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Attributed models of executable specifications

Meriste, Merik; Penjam, Jaan (1995). Attributed models of executable specifications. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, Proceeding. Ed. Hermenegildo, M.; Swierstra, S.D. Berlin: Springer, 459−460. (Lecture Notes in Computer Science; 982).10.1007/BFb0026839.
publitseeritud konverentsiettekanne
Meriste, Merik; Penjam, Jaan
  • Inglise
Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, Proceeding
Hermenegildo, M.; Swierstra, S.D.
Berlin
Springer
0302-9743
3-540-60359-X
Lecture Notes in Computer Science
982
1995
459460
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

doi.org/10.1007/BFb0026839

Lisainfo

ISI SCI; ISI Proceedings, Scopus