Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algorithm
(1)algorithms
(1)allgemeines
(1)calculus
(1)computer
(1)computerprogrammierung und softwareentwicklung
(1)edv
(1)hardware
(1)informatik
(1)informatik, computer
(1)log
(1)logic
(1)mathematik
(1)object
(1)object-oriented programming
(1)programming
(1)programming techniques
(1)programmspezifikation und transformation
(1)programmspezifikationundtransformation
(1)programmverifikation
(1)schrittweise verfeinerung
(1)schrittweiseverfeinerung
(1)software engin
(1)software-entw.
(1)software-erstellung
(1)theorie
(1)verification
(1)verteilte systeme
(1)verteiltesysteme
(1)Ergebnis: 1 Artikel
Autor: snepscheut, jan l. a. van de
