Reihe Advances in Computing Sciences 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 € Tool Support for System Specification, Development and Verification Springer WienSoftcover199953,49 € Systems: Theory and Practice Springer WienSoftcover199853,49 € Advances in Computer Vision Springer WienSoftcover199753,49 € Relational Methods in Computer Science Springer WienSoftcover199753,49 €