Serie
lecture notes in computer science
(173)programming and software engineering
(39)theoretical computer science and general issues
(22)workshops in computing
(11)ifip advances in information and communication technology
(10)formal approaches to computing and information technology (facit)
(9)lecture notes in artificial intelligence
(9)the springer international series in engineering and computer science
(6)monographs in computer science
(5)monographs in theoretical computer science. an eatcs series
(5)advances in formal methods
(4)ifip advances in information a
(4)Detailwarengruppe
informatik
(215)wärmetechnik/energietechnik/kraftwerktechnik
(14)programmiersprachen
(12)anwendungs-software
(10)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bowen, jonathan p.
(13)liu, zhiming
(5)davies, jim
(4)hinchey, michael g.
(4)liu, shaoying
(4)zhang, zili
(4)astesiano, egidio
(3)bert, didier
(3)boca, paul
(3)duan, zhenhua
(3)king, steve
(3)kreowski, hans-jörg
(3)robert wille
(3)rolf drechsler
(3)wing, jeannette m.
(3)ahrendt, wolfgang
(2)altman, edward
(2)barteld kooi
(2)bernardo, marco
(2)boer, frank s. de
(2)bonsangue, marcello m.
(2)brian t. graham
(2)broy, manfred
(2)butler, michael
(2)börger, egon
(2)c.s. wallace
(2)cavalcanti, ana
(2)chaochen zhou
(2)danvy, olivier
(2)doron a. peled
(2)fitzgerald, john
(2)gabbar, hossam a.
(2)gaudel, marie-claude
(2)gibbons, jeremy
(2)goguen, joseph a.
(2)graeme smith
(2)graf, susanne
(2)gries, david
(2)hans van ditmarsch
(2)helmut a. partsch
(2)henglein, fritz
(2)huazhong yang
(2)iain d. craig
(2)jacquart, rene
(2)jones, cliff b.
(2)juan carlos molina
(2)judith przigoda
(2)kevin lano
(2)koob, gary m.
(2)kordon, fabrice
(2)lau, kung-kiu
(2)lemoine, michel
(2)mairson, harry
(2)malcolm, grant
(2)mark d´inverno
(2)martin große-rhode
(2)michael luck
(2)michael r. hansen
(2)miroslav popovic (university of novi sad, serbia)
(2)mohamad kassab
(2)mosses, peter
(2)nagoya, fumiko
(2)nicholls, j. e.
(2)nils przigoda
(2)oscar pastor
(2)pallab dasgupta
(2)paton, norman w.
(2)pettorossi, alberto
(2)phillip a. laplante (the pennsylvania state university, malvern, usa)
(2)ramesh, s.
(2)rammig, franz j.
(2)reggio, gianna
(2)rettberg, achim
(2)robert b. jones
(2)sampath, p.
(2)schmitt, peter h.
(2)schneider, steve
(2)sekerinski, emil
(2)shaw, roger c.
(2)siddiqi, jawed
(2)tarlecki, andrzej
(2)terashima, nobuyoshi
(2)tian, cong
(2)vytopil, jan
(2)wang, farn
(2)wiebe van der hoek
(2)wirsing, martin
(2)woodcock, james c. p.
(2)woodcock, jim
(2)woodcook, jim
(2)xiaoming chen
(2)yu wang
(2)zanella, mauro c.
(2)a.z. spector
(1)aagaard, mark d.
(1)aarts, emile
(1)abdallah, ali e.
(1)abramsky, s.
(1)aichernig, b. k.
(1)alpuente, maría
(1)Verlag / Hersteller
crc press
(4)lap lambert academic publishing
(3)springer berlin heidelberg
(165)springer international publishing
(24)springer london
(26)springer netherlands
(10)springer new york
(9)springer us
(25)springer, berlin springer international publishing springer
(2)springer, berlin springer nature switzerland springer
(2)Verlag
crc press
(4)lap lambert academic publishing
(3)springer
(4)springer berlin heidelberg
(165)springer international publishing
(26)springer london
(26)springer nature switzerland
(3)springer netherlands
(10)springer new york
(9)springer us
(25)springer, berlin
(4)Schlagwort
formal specification
(275)informatik
(241)edv
(239)formalspecification
(202)software engineering
(155)formal methods
(106)theorie
(99)software-entw.
(88)formalmethods
(85)verification
(81)modeling
(71)formal verification
(69)programming
(68)logic
(64)algorithms
(57)formal method
(55)formalverification
(53)model checking
(53)semantics
(51)theory of computation
(51)software engineering/programming and operating systems
(49)design
(42)formalmethod
(42)logics and meanings of programs
(42)artificial intelligence
(40)programmiersprachen
(39)automata
(38)complexity
(36)mathematical logic and formal languages
(35)programming language
(35)programming languages, compilers, interpreters
(34)distributed systems
(33)modelchecking
(33)development
(30)unified modeling language (uml)
(30)mathematik
(28)programming techniques
(27)künstliche intelligenz
(26)mathematical logic and foundations
(26)software
(26)computer
(25)distributedsystems
(25)language
(25)softwareengineering
(25)uml
(23)algorithm
(22)allgemeines
(22)compiler
(22)intelligenz
(20)programminglanguage
(20)real-time
(20)unifiedmodelinglanguage(uml)
(20)ki
(19)künstliche intelligenz - ai
(19)operating system
(19)simulation
(19)theoretische informatik
(19)embedded systems
(18)hardware
(18)algorithmus
(17)concurrency
(17)betriebssystem (edv)
(16)computer science
(16)petri net
(16)calculus
(15)java
(15)object
(15)programmieren (edv)
(15)übersetzer (edv)
(15)architecture
(14)automat
(14)computerprogrammierung und softwareentwicklung
(14)computers
(14)data structures
(14)embeddedsystems
(14)formal language
(14)informatik, computer
(14)program analysis
(14)structured analysis
(14)technik
(14)circuits and systems
(13)datenverarbeitung
(13)schaltkreise und komponenten (bauteile)
(13)software development
(13)testing
(13)algebra
(12)elektronik
(12)elektrotechnik
(12)nachrichtentechnik
(12)petrinet
(12)processor architectures
(12)security
(12)systems design
(12)theorem proving
(12)uml (edv)
(12)validation
(12)artificialintelligence
(11)communication
(11)data structure
(11)database
(11)Erscheinungsjahr
1979
(1)1981
(1)1982
(1)1984
(1)1985
(1)1987
(1)1988
(2)1989
(2)1990
(5)1991
(10)1992
(5)1993
(9)1994
(2)1995
(5)1996
(7)1997
(6)1998
(10)1999
(9)2000
(13)2001
(4)2002
(15)2003
(15)2004
(17)2005
(14)2006
(9)2007
(11)2008
(10)2009
(12)2010
(16)2011
(10)2012
(10)2013
(4)2014
(2)2015
(2)2016
(3)2017
(5)2018
(9)2019
(4)2020
(2)2021
(1)2022
(3)2023
(4)2024
(2)Ergebnis: 275 Artikel
Schlagwort: formal specification
