Nur heute am Nationalfeiertag: 10€¹ Gutschein!
Computer Aided Verification / Lecture Notes in Computer Science Bd.4590
54.99 €
Chinese Cyberspaces
49.40 €
Integration of Software Specification Techniques for Applications in Engineering / Lecture Notes in Computer Science Bd.3147
Formal Techniques in Real-Time and Fault-Tolerant Systems / Lecture Notes in Computer Science Bd.2469
Practical Formal Methods for Hardware Design / Research Reports Esprit