Reihe Advances in Computing ScienceseBooks × Tool Support for System Specification, Development and Verification Springer WieneBook201253,49 € Systems: Theory and Practice Springer WieneBook201253,49 € Relational Methods in Computer Science Springer WieneBook201253,49 € Advances in Computer Vision Springer WieneBook201253,49 €