preliminarus e dokumentacija [nuoroda]

[joe2moon]

Verisity sako "e" kalbos iš tiesų yra atviras (Dabar)
http://www, eedesign, com/story/OEG20030611S0040
Kashai pažymėjo, kad "e" kalbos vadovą (LRM) dabar galima rasti internete ....
-------------------------------------------------- ----------------------------
Aprašymas: Preliminarus e dokumentacija (PDF failas)
Versija: Failo dydis: 1.84 MB
Pridėta: 20-Mar-2003
http://www, verificationlanguage, org / downloads / prelim_e_lib.pdf
Verisity elektroninės bibliotekos preliminarus
-------------------------------------------------- ----------------------------
IEEE patikrinimas Language Study Group
http://www, verificationlanguage, org /