Using Formal Description Techniques. An Introduction to ESTELLE, LOTOS and SDL.

Antiquariat Bader Inh. Norbert Schuler Wilhelmstraße 14 72074 Tübingen Tel. 0 70 71 / 5 14 27 E-Mail: antiquariat.bader.tuebingen@t-online.de USt-IdNr.: DE236100475 Allgemeine Geschäfts- und Lieferbedingungen 1. Allgemeines - Geltungsbereich 2. Vertragsschluss 3. Eigentumsvorbehalt 4. Vergütung 5. Gefahrübergang 6. Gewährleistung 7. Haftungsbeschränkungen und -freistellung 8. Datenschutz 9. Schlussbestimmungen 1. Allgemeines - Geltungsbereich 1.1. Die folgenden Allgemeinen Geschäftsbedingungen g...