Serie
lecture notes in computer science
(15)programming and software engineering
(7)theoretical computer science and general issues
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
schewe, klaus-dieter
(4)thalheim, bernhard
(3)ait ameur, yamine
(2)bernhard freudenthaler
(2)bowen, jonathan p.
(2)buchberger, bruno
(2)börger, egon
(2)christa illibauer
(2)christine natschläger
(2)felix kossak
(2)jan kubovy
(2)klaus-dieter schewe
(2)prinz, andreas
(2)theodorich kopetzky
(2)thomas ziebermayr
(2)verena geist
(2)abrial, jean-raymond
(1)alexander raschke
(1)boca, paul
(1)boniol, frederic
(1)butler, michael
(1)egon börger
(1)gargantini, angelo
(1)glässer, uwe
(1)grabowski, jens
(1)grieskamp, wolfgang
(1)hage, jurriaan
(1)harman, mark
(1)heinrich rust
(1)hierons, robert m.
(1)johnson, michael
(1)kirchner, helene
(1)mathias weske
(1)matthias kunze
(1)morazán, marco t.
(1)nielsen, brian
(1)riccobene, elvinia
(1)ringeissen, christophe
(1)rus, teodor
(1)sokolsky, oleg
(1)stary, christian
(1)tasiran, serdar
(1)vene, varmo
(1)weise, carsten
(1)wiels, virginie
(1)zimmermann, wolf
(1)Verlag / Hersteller
springer berlin heidelberg
(16)springer international publishing
(6)Schlagwort
abstract state machines
(23)
abstractstatemachines
(23)edv
(23)informatik
(23)formal methods
(14)software engineering
(13)formalmethods
(12)theorie
(12)software-entw.
(11)model checking
(7)verification
(6)business process management
(5)formal specification
(5)formal verification
(5)formalverification
(5)modeling
(5)software development
(5)algorithms
(4)allgemeines
(4)asm
(4)concurrency
(4)correct systems design
(4)correctsystemsdesign
(4)finite state machines
(4)formalspecification
(4)logics and meanings of programs
(4)modelchecking
(4)algebraic methods
(3)algebraicmethods
(3)algorithmus
(3)automatentheorie
(3)business process modeling
(3)correctness proofs
(3)correctnessproofs
(3)event-b
(3)finitestatemachines
(3)formal testing
(3)information systems applications (incl. internet)
(3)java
(3)logic
(3)mathematical software construction
(3)programmiersprachen
(3)softwaredevelopment
(3)systems analysis
(3)systemsanalysis
(3)theory of computation
(3)uml
(3)unified modeling language (uml)
(3)unifiedmodelinglanguage(uml)
(3)wirtschaft
(3)workflow management
(3)abstract machines
(2)abstractmachines
(2)algebra
(2)algebraic state machines
(2)algebraicstatemachines
(2)automata
(2)automated reasoning
(2)automated testing
(2)automatedreasoning
(2)automatedtesting
(2)b
(2)bpm
(2)bpmn
(2)businessprocessmanagement
(2)computer appl. in administrative data processing
(2)computerprogrammierung und softwareentwicklung
(2)datenverarbeitung
(2)formal languages
(2)formal method
(2)formallanguages
(2)formaltesting
(2)hybrid systems
(2)hybridsystems
(2)informatik, computer
(2)informationssystem
(2)interactive testing
(2)it in business
(2)mathematical applications in computer science
(2)mathematical logic and formal languages
(2)mathematicalsoftwareconstruction
(2)mathematik
(2)models of computation
(2)modelsofcomputation
(2)petri nets
(2)process algebras
(2)process validation
(2)program
(2)program semantics
(2)programmieren
(2)programsemantics
(2)real-time
(2)software design
(2)software engineering/programming and operating systems
(2)softwaretesting
(2)testmethoden
(2)theorema
(2)web applications
(2)web information systems
(2)webapplications
(2)Erscheinungsjahr
2000
(1)2002
(1)2003
(1)2004
(1)2005
(2)2006
(2)2007
(1)2008
(2)2010
(1)2011
(1)2012
(1)2014
(2)2015
(2)2016
(2)2018
(2)2021
(1)Ergebnis: 23 Artikel
Schlagwort: abstractstatemachines
