Solidification and Gravity V
211.86 €
Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.596
53.49 €
Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.9539
Logic, Rewriting, and Concurrency / Lecture Notes in Computer Science Bd.9200
Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.476
Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.419
Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.7253
Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.6381