Serie
lecture notes in computer science
(13)programming and software engineering
(5)springer series on cultural computing
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bowen, jonathan p.
(22)hinchey, michael g.
(4)liu, zhiming
(4)zhang, zili
(4)boca, paul
(3)bert, didier
(2)hinchey, mike
(2)keene, suzanne
(2)king, steve
(2)ng, kia
(2)olderog, ernst-rüdiger
(2)siddiqi, jawed
(2)butler, michael
(1)börger, egon
(1)copeland, jack
(1)dunne, steve
(1)fett, andreas
(1)galloway, andy
(1)giannini, tula
(1)harman, mark
(1)henson, martin c.
(1)hierons, robert m.
(1)robinson, ken
(1)sprevak, mark
(1)till, david
(1)walden, marina
(1)wilson, robin
(1)zhu, huibiao
(1)Verlag / Hersteller
springer berlin heidelberg
(8)springer international publishing
(8)springer london
(5)Schlagwort
edv
(21)informatik
(21)formal methods
(15)formal specification
(13)software engineering
(13)formalmethods
(12)theorie
(12)formalspecification
(10)software-entw.
(10)formal verification
(7)software engineering/programming and operating systems
(7)formalverification
(6)logics and meanings of programs
(6)z notation
(6)logic
(5)mathematical logic and formal languages
(5)mathematical logic and foundations
(5)program refinement
(5)safety-critical systems
(5)znotation
(5)b method
(4)bmethod
(4)design
(4)mathematik
(4)modeling
(4)modelling languages
(4)programming language semantics
(4)programrefinement
(4)reactive systems
(4)real-time systems
(4)real-timesystems
(4)safety-criticalsystems
(4)verification
(4)datenverarbeitung
(3)formal method
(3)formal reasoning
(3)formalmethod
(3)formalreasoning
(3)history of computing
(3)modellinglanguages
(3)programming language
(3)programming languages, compilers, interpreters
(3)programming techniques
(3)programminglanguagesemantics
(3)reactivesystems
(3)runtime verification
(3)softwareengineering
(3)theory of computation
(3)unified modeling language (uml)
(3)unifiedmodelinglanguage(uml)
(3)abstract state machines
(2)abstractstatemachines
(2)algorithms
(2)algorithmus
(2)allgemeines
(2)anwendungen
(2)anwendungs-software
(2)arts
(2)betriebssystem (edv)
(2)computer systems
(2)computersystems
(2)constraint programming
(2)cultural heritage
(2)cultural interaction and interfaces
(2)cultural studies
(2)culturalheritage
(2)culturalinteractionandinterfaces
(2)database management system
(2)electronic visualisation
(2)electronicvisualisation
(2)formale spezifikation
(2)formalespezifikation
(2)historyofcomputing
(2)imaging and culture
(2)imagingandculture
(2)informatik, computer
(2)information techology
(2)informationtechology
(2)logik
(2)maschinelles sehen, bildverstehen
(2)mathematical logic
(2)models and principles
(2)object
(2)operating system
(2)programmieren (edv)
(2)programmiersprachen
(2)programming
(2)programming lan
(2)programminglanguage
(2)provably correct systems
(2)provablycorrectsystems
(2)real-time
(2)refinement
(2)runtimeverification
(2)semantics
(2)softwar
(2)software construction
(2)software correctness
(2)softwareconstruction
(2)softwarecorrectness
(2)Erscheinungsjahr
1995
(1)1997
(1)1998
(1)1999
(1)2000
(1)2002
(1)2003
(1)2008
(2)2009
(1)2013
(1)2014
(1)2016
(1)2017
(4)2018
(2)2019
(2)2020
(1)Ergebnis: 22 Artikel
Autor: Bowen, Jonathan P.
