Serie
lecture notes in computer science
(6)monographs in theoretical computer science. an eatcs series
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bernd mahr
(3)hartmut ehrig
(3)bergstra, jan a.
(2)kreowski, hans-jörg
(2)wirsing, martin
(2)astesiano, egidio
(1)calmet, jacques
(1)ehrig, hartmut
(1)feijs, loe m. g.
(1)herrlich, horst
(1)ivo van horebeek
(1)johan lewi
(1)krieg-brückner, bernd
(1)limongelli, carla
(1)nivat, maurice
(1)ruth breu
(1)wolfgang wechler
(1)Schlagwort
algebraische spezifikation
(12)
algebraischespezifikation
(12)edv
(11)informatik
(10)software engineering
(9)algebra
(7)logics and meanings of programs
(6)theorie
(6)theory of computation
(6)algebraic specification
(5)algebraicspecification
(4)logic
(4)mathematik
(4)programming languages, compilers, interpreters
(4)software-entw.
(4)abstrakte datentypen
(3)abstraktedatentypen
(3)arithmetik
(3)computer science
(3)computerprogrammierung und softwareentwicklung
(3)computerscience
(3)formal specification
(3)formalspecification
(3)programming
(3)semantics
(3)allgemeines
(2)category theory
(2)categorytheory
(2)concurrency
(2)datastructures
(2)design
(2)development
(2)formal methods
(2)formale methoden
(2)formale spezifikation
(2)formalemethoden
(2)formalespezifikation
(2)formalmethods
(2)language
(2)mathematica
(2)mathematical logic and formal languages
(2)modul-spezifikationsrestriktionen
(2)programmiersprachen
(2)programming techniques
(2)rapid prototyping
(2)rapidprototyping
(2)software
(2)software entwicklung
(2)softwareengineering
(2)softwareentwicklung
(2)systementwurf
(2)verteilte systeme
(2)verteiltesysteme
(2)abstract data types
(1)abstractdatatypes
(1)abstrakter datentyp
(1)abstrakterdatentyp
(1)algebraic semantics
(1)algebraische semantik
(1)algorith
(1)algorithms
(1)applications of mathematics
(1)autmatisches theorembeweisen
(1)autmatischestheorembeweisen
(1)automated theorem proving
(1)automatedtheoremproving
(1)chesemantik
(1)compiler
(1)complexity
(1)computation by
(1)computer
(1)computer algebra
(1)computer science logic and foundations of program
(1)computer-assisted surgery
(1)computeralgebra
(1)computerpr
(1)d programming language
(1)data structure
(1)data structures
(1)data structures and information theory
(1)datastructure
(1)datenstruktur
(1)dnguage
(1)fehlerbehandlung
(1)fixpiont methods
(1)fixpiontmethods
(1)fixpunkt (math.)
(1)fixpunkt(math.)
(1)formal definitions
(1)formal method
(1)formal verification
(1)formaldefinitions
(1)formale definitionen
(1)formale verifikation
(1)formaledefinitionen
(1)formaleverifikation
(1)formalmethod
(1)formalverification
(1)geometry
(1)initiale semantik
(1)Ergebnis: 12 Artikel
Schlagwort: algebraischespezifikation
