Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 8
von 8
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
functional program verification
4
formal specification
3
intended function
3
cleanjava
2
control structures
2
f.3.1 [logics and meanings of programs] specifying and verifying and reasoning about programs - asse
2
mehr ...
functions
2
inheritance
2
java
2
languages
2
logics of programs
2
polymorphism
2
software engineering
2
specification techniques
2
aliasing
1
cleanliness
1
computer engineering
1
computer science
1
computer sciences
1
data movement
1
functional programming
1
initialization
1
parameter passing
1
programming languages and compilers
1
references
1
swapping
1
weniger ...
Veröffentlicht in
Datenbank
Erscheinungsjahr
Filter