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)loia, vincenzo
(2)markus roggenbach
(2)nivat, maurice
(2)pan, yi
(2)park, james j. jong hyuk
(2)rattray, charles
(2)siraj ahmed shaikh
(2)yi, gangman
(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)maharaj, savitri
(1)mikhail kovalev
(1)mosses, p. d.
(1)owe, olaf
(1)palsberg, jens
(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)zhu, huibiao
(1)Verlag / Hersteller
springer berlin heidelberg
(18)springer international publishing
(5)springer singapore
(2)Schlagwort
algebraic specification
(26)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)computational intelligence
(2)computationalintelligence
(2)correct software design
(2)correctsoftwaredesign
(2)csp
(2)development
(2)elektronik
(2)elektrotechnik
(2)embedded systems and software
(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)grid and scalable computing
(2)hybrid clustering
(2)hybridclustering
(2)internet of things
(2)internetofthings
(2)language
(2)mathematical logic and formal languages
(2)mathematical software construction
(2)modelchecking
(2)modeling
(2)nachrichtentechnik
(2)parallel algorithms
(2)parallelalgorithms
(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)technik
(2)term rewriting
(2)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
(2)2021
(1)2023
(1)Ergebnis: 26 Artikel
Schlagwort: algebraic specification
