Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
andrzej tarlecki
(2)antonio cerone
(2)bernd-holger schlingloff
(2)donald sannella
(2)gerardo schneider
(2)markus roggenbach
(2)nivat, maurice
(2)rattray, charles
(2)siraj ahmed shaikh
(2)astesiano, egidio
(1)bergstra, jan a.
(1)bozapalidis, symeon
(1)calmet, jacques
(1)cerioli, maura
(1)codescu, mihai
(1)dahl, ole-johan
(1)diaconescu, razvan
(1)dong, jin song
(1)feijs, loe m. g.
(1)fiadeiro, jose l.
(1)haveraaen, magne
(1)heckel, reiko
(1)jeuring, johan
(1)johnson, michael
(1)kreowski, hans-jörg
(1)krieg-brückner, bernd
(1)lee, kyung w.
(1)lee, roger y.
(1)limongelli, carla
(1)loia, vincenzo
(1)maharaj, savitri
(1)mikhail kovalev
(1)mosses, p. d.
(1)owe, olaf
(1)palsberg, jens
(1)pan, yi
(1)park, james j. jong hyuk
(1)rahonis, george
(1)ramamoorthy, c. v.
(1)reggio, gianna
(1)rus, teodor
(1)ruth breu
(1)scollo, giuseppe
(1)silvia m. müller
(1)taentzer, gabriele
(1)uu, ionu
(1)vene, varmo
(1)wirsing, martin
(1)wolfgang j. paul
(1)yi, gangman
(1)zhu, huibiao
(1)Verlag / Hersteller
springer berlin heidelberg
(18)springer international publishing
(5)Schlagwort
algebraic specification
(25)edv
(23)informatik
(22)algebraicspecification
(21)software engineering
(16)theorie
(14)formal methods
(11)software-entw.
(11)theory of computation
(10)formalmethods
(9)logic
(9)software engineering/programming and operating systems
(8)design
(7)logics and meanings of programs
(7)algebraische spezifikation
(6)mathematik
(6)programmiersprachen
(6)algebra
(5)algebraischespezifikation
(5)formal verification
(5)programming
(5)semantics
(5)allgemeines
(4)category theory
(4)computerprogrammierung und softwareentwicklung
(4)formalverification
(4)programming techniques
(4)abstract data types
(3)algebraic methods
(3)algebraicmethods
(3)algorithmus
(3)categorytheory
(3)compiler
(3)concurrency
(3)formal method
(3)formal specification
(3)formale methoden
(3)formalspecification
(3)functional programming
(3)informatik, computer
(3)mathematical logic and foundations
(3)model checking
(3)netzwerk (elektronisch)
(3)softwareengineering
(3)symbolic and algebraic manipulation
(3)verification
(3)übersetzer (edv)
(3)abstractdatatypes
(2)algorithms
(2)automata
(2)behavioural specifications
(2)behaviouralspecifications
(2)calculus
(2)casl
(2)correct software design
(2)correctsoftwaredesign
(2)csp
(2)development
(2)entwicklung
(2)formal program development
(2)formal software development
(2)formal testing
(2)formalemethoden
(2)formalmethod
(2)formalprogramdevelopment
(2)formalsoftwaredevelopment
(2)functionalprogramming
(2)graph transformation
(2)language
(2)mathematical logic and formal languages
(2)mathematical software construction
(2)modelchecking
(2)modeling
(2)pro
(2)process algebras
(2)program
(2)programmieren (edv)
(2)programming language
(2)programming languages, compilers, interpreters
(2)software development
(2)softwaredevelopment
(2)specification languages
(2)specificationlanguages
(2)systems design
(2)systemsdesign
(2)term rewriting
(2)unified modeling language (uml)
(2)unifiedmodelinglanguage(uml)
(2)universal algebra
(2)universalalgebra
(2)abstract program development
(1)abstract state machines
(1)abstractprogramdevelopment
(1)abstractstatemachines
(1)abstrakte datentypen
(1)action
(1)algeb
(1)algebraic verification
(1)algebraicverification
(1)algorith
(1)Erscheinungsjahr
1991
(2)1993
(1)1996
(3)1998
(1)1999
(1)2002
(1)2004
(3)2006
(1)2007
(1)2009
(1)2010
(1)2011
(2)2014
(2)2015
(1)2016
(1)2018
(1)2021
(1)2023
(1)Ergebnis: 25 Artikel
Schlagwort: algebraic specification
