• Suche: "CleanJava language"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 2 von 2

1

Program Verification
Yoonsik Cheon ; Cesar Yeep ; Melisa Vela ; et al.
http://www.cs.utep.edu/cheon/techreport/tr11-52.pdf.

formal specification functional program verif... intended function CleanJava language. 1998... D.2.4 [Software Engineer...
Fachzeitschrift
Zur Merkliste hinzufügen
2

The CleanJava Language for Functional Program Verification
Cheon, Yoonsik ; Yeep, Cesar ; Vela, Melisa
Departmental Technical Reports (CS)

formal specification functional program verif... intended function CleanJava language Computer Engineering
Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter