Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
barden, rosalind
(1)birtwistle, graham
(1)cooper, david
(1)davis, al
(1)rattray, charles
(1)stepney, susan
(1)Schlagwort
edv
(3)formal specification
(3)formalspecification
(3)informatik
(3)design
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)programming
(2)programming techniques
(2)software engineering
(2)avenue
(1)bridge
(1)circuit design
(1)circuitdesign
(1)communication
(1)computer communication networks
(1)computer science
(1)concurrency
(1)development
(1)distributed systems
(1)distributedsystems
(1)electronics and microelectronics, instrumentation
(1)embedded systems
(1)embeddedsystems
(1)formal languages and automata theory
(1)formal method
(1)formal methods
(1)formalmethod
(1)formalmethods
(1)hardware design
(1)hardwaredesign
(1)isdn
(1)language
(1)logic
(1)logics and meanings of programs
(1)object
(1)object orientation
(1)object-z
(1)objectorientation
(1)petri net
(1)petrinet
(1)processor architectures
(1)production
(1)rechnerarchitektur und logik-entwurf
(1)semantics
(1)software
(1)standard
(1)standards
(1)theoretische informatik
(1)theory of computation
(1)turing
(1)vlsi
(1)Ergebnis: 3 Artikel
Titelzusatz: workshops in computing
