Software und Recht
/ hrsg. von Josef Kühne. - Wien : Wirtschaftsverlag Orac, 1986. - 150 S.; 21 cm - (Schriften aus Technik und Recht, Technik und Gesellschaft; 8)
ISBN 978-3-85368-740-6 / 3-85368-740-7 S 385.00
Quelle: DNB
Ehrenberger, Wolfgang: Software-Verifikation
: Verfahren für den Zuverlässigkeitsnachweis von Software / Wolfgang Ehrenberger. - München : Hanser, 2002. - XIV, 366 S. : graph. Darst.; 24 cm
ISBN 978-3-446-21624-2 / 3-446-21624-3 kart. : EUR 44.90
Literaturverz. S. 349 - 358
Quelle: DNB
Malzer, Hans Michael: Der Softwarevertrag
: der Erwerb von Standardsoftware, Individualsoftware und Betriebssoftware, Erwerb von Hard- und Software / von Hans Michael Malzer. - Köln : O. Schmidt, 1991. - XXXVI, 380 S.; 21 cm - (Rechtsfragen der Wirtschaft; H. 2)
ISBN 978-3-504-68001-5 / 3-504-68001-6 kart. : DM 84.00
Quelle: DNB
Schröder, Georg F.: Softwareverträge
: Lizenzierung, Erstellung und Kauf / von Georg F. Schröder. - 2. Aufl. - München : Beck, 2002. - 156 S.; 23 cm - (Beck'sche Musterverträge; Bd. 37)
ISBN 978-3-406-48951-8 / 3-406-48951-6 kart. : EUR 19.50
Quelle: DNB
Stapperfend, Thomas: Die steuer- und bilanzrechtliche Behandlung von Software
/ von Thomas Stapperfend. - Köln : O. Schmidt, 1991. - XLIII, 147 S.; 21 cm - (Der Rechts- und Steuerdienst; H. 71)
ISBN 978-3-504-64071-2 / 3-504-64071-5 kart. : DM 56.00
Quelle: DNB
Riedemann, Eike Hagen: Testmethoden für sequentielle und nebenläufige Software-Systeme
/ von Eike Hagen Riedemann. - Stuttgart : Teubner, 1997. - 512 S.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02274-9 / 3-519-02274-5 kart. : DM 78.00, sfr 70.00, S 569.00
Literaturverz. S. 477 - 499
Quelle: DNB
Theoretical aspects of computer software
: 4th international symposium ; proceedings / TACS 2001, Sendai, Japan, October 29 - 31, 2001. N. Kobayashi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2215)
ISBN 978-3-540-45500-4
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computer software
: 4th international symposium ; proceedings / TACS 2001, Sendai, Japan, October 29 - 31, 2001. Naoki Kobayashi ; Benjamin C. Pierce (ed.). - Berlin : Springer, 2001. - XV, 559 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2215)
ISBN 978-3-540-42736-0 / 3-540-42736-8 kart.
Literaturangaben
Quelle: DNB
Theoretical aspects of computer software
: proceedings / International Symposium TACS '94, Sendai, Japan, April 19 - 22, 1994. Masami Hagiya ; John C. Mitchell (ed.). - Berlin : Springer, 1994. - XI, 885 S.; 24 cm - (Lecture notes in computer science; Vol. 789)
ISBN 978-3-540-57887-1 / 3-540-57887-0 kart. : DM 156.00
Literaturangaben
Quelle: DNB
Theoretical aspects of computer software
: third international symposium ; proceedings / TACS '97, Sendai, Japan, September 23 - 26, 1997. Martín Abadi ; Takayaso Ito (ed.). - Berlin : Springer, 1997. - XI, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1281)
ISBN 978-3-540-63388-4 / 3-540-63388-X kart. : DM 122.00
Literaturangaben
Quelle: DNB
