Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
automated re
(1)computer programming languages
(1)computer software selection and evaluation
(1)computerprogramminglanguages
(1)computersoftwareselectionandevaluation
(1)concurrency
(1)edv
(1)formal logic
(1)formallogic
(1)functional programming
(1)functionalprogramming
(1)informatik
(1)progr
(1)program compilers
(1)program logic
(1)programcompilers
(1)programmier- und skr
(1)programmiersprachen
(1)semantics
(1)separation logic
(1)separationlogic
(1)software engineering
(1)softwareengineering
(1)specifications
(1)type systems
(1)typesystems
(1)verification
(1)Ergebnis: 1 Artikel
ISBN 13: 978-3-662-54433-4
