Serie
lecture notes in computer science
(12)theoretical computer science and general issues
(4)programming and software engineering
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bensalem, saddek
(1)bjørner, dines
(1)boreale, michele
(1)butler, michael
(1)conchon, sylvain
(1)corradini, flavio
(1)darte, alain
(1)dines bjørner
(1)duan, zhenhua
(1)ehrig, hartmut
(1)heckel, reiko
(1)hermenegildo, manuel v
(1)liu, shaoying
(1)lopez-garcia, pedro
(1)loreti, michele
(1)michel bidoit
(1)mosses, p. d.
(1)nagoya, fumiko
(1)orejas, fernando
(1)peled, doron a.
(1)perrin, guy-rene
(1)peter d. mosses
(1)pugliese, rosario
(1)raymond turner
(1)reed, jeanne
(1)reed, rick
(1)seidl, martina
(1)taentzer, gabriele
(1)tian, cong
(1)tillmann, nikolai
(1)zaïdi, fatiha
(1)Verlag / Hersteller
springer berlin heidelberg
(7)springer international publishing
(7)Schlagwort
edv
(15)informatik
(15)specification languages
(15)
specificationlanguages
(15)software engineering
(9)formal methods
(7)formalmethods
(6)semantics
(6)theorie
(6)language
(4)programmiersprachen
(4)software development
(4)software-entw.
(4)algebra
(3)design
(3)logics and meanings of programs
(3)model checking
(3)modeling
(3)ontology
(3)programming languages, compilers, interpreters
(3)software
(3)software engineering/programming and operating systems
(3)softwaredevelopment
(3)theory of computation
(3)algebraic specification
(2)allgemeines
(2)c programming language
(2)common algebraic specification language
(2)computerprogrammierung und softwareentwicklung
(2)concurrency
(2)development
(2)distributed systems
(2)distributedsystems
(2)domain engineering
(2)domain science
(2)domainengineering
(2)domainscience
(2)foundations of programming
(2)foundationsofprogramming
(2)logic
(2)program analysis
(2)program verification
(2)programanalysis
(2)programmieren
(2)programming
(2)programming languages
(2)programminglanguages
(2)programverification
(2)raise specification language (rsl)
(2)raisespecificationlanguage(rsl)
(2)requirements engineering
(2)requirementsengineering
(2)security
(2)softwareengineering
(2)specifications
(2)systems design
(2)systemsdesign
(2)uml
(2)verification
(2)abstract data types
(1)abstractdatatypes
(1)algebraicspecification
(1)algorithm analysis
(1)algorithmanalysis
(1)algorithmus
(1)animation
(1)anwendungs-software
(1)architecture
(1)arithmetik
(1)aspect-oriented languages
(1)aspect-orientedlanguages
(1)assertion checking
(1)assertionchecking
(1)betriebssystem (edv)
(1)casl
(1)category theory
(1)certification
(1)commonalgebraicspecificationdesign
(1)commonalgebraicspecificationlanguage
(1)compiler
(1)computational abstraction
(1)computational artifacts
(1)computationalabstraction
(1)computationalartifacts
(1)computer
(1)computer co
(1)computer programming languages
(1)computer scienc
(1)computer science, general
(1)computer system implementation
(1)concurrent systems
(1)concurrentsystems
(1)consistency verification
(1)consistencyverification
(1)constraint progr
(1)constraint solving
(1)constraintsolving
(1)cprogramminglanguage
(1)cprogrammingturing
(1)data parallelism
(1)Erscheinungsjahr
1994
(1)1996
(1)2003
(1)2004
(2)2009
(1)2014
(1)2015
(1)2017
(2)2018
(1)2019
(2)2021
(1)2022
(1)Ergebnis: 15 Artikel
Schlagwort: specificationlanguages
