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

Synthesis of large programs for Java

Lämmermann, S.; Tyugu, E. (2000). Synthesis of large programs for Java. Proceedings of the Complex Systems (CSC&M) 2000: June 2000, Samara, Russia. 28−34.
publitseeritud konverentsiettekanne
Lämmermann, S.; Tyugu, E.
  • Inglise
Proceedings of the Complex Systems (CSC&M) 2000
June 2000, Samara, Russia
2000
2834
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

automated deduction, complex systems, program synthesis, specification