Edition: Cham: Springer
Langue: Anglais
Collation: Données textuelles
Thème Informatique

Mots clés:
architecting
architecture verification and validation
Artificial intelligence
Databases
distributed computer systems
Distributed systems
embedded systems
engineering
formal logic
mathematics
model checking
object-oriented programming