[ Inhalt ] [ Index ] Index VDM WWW Help Glossar

Literatur

3C90

3COM Corporation NDIS Network Driver Interface Specification Version 2.01 FINAL 3COM/Microsoft LAN Manager 3COM, October 1990

3C94

3COM Corporation Etherlink III Parallel Tasking ISA, EISA, Micro Channel and PCMCIA Adapter Drivers Reference 3COM, August 1994

3CA92

3COM Corporation Sample Driver Source Code Etherlink Adapters 3COM, April 1992

3CB92

3COM Corporation Sample Protocol Source Code Etherlink Adapters 3COM, April 1992

AA92

Aho, Alfred v. Ravi Sethi Jeffrey D. Ullman Compilerbau Teil 1 Addison Wesley Deutschland, 1992 ISBN 3-89319-150-x

AA92

Aho, Alfred v. Ravi Sethi Jeffrey D. Ullman Compilerbau Teil 2 Addison Wesley Deutschland, 1992 ISBN 3-89319-151-8

AD91

Diller, Antoni: Z , An introduction to formal methods John Wiley & Sons, Inc., 1991 ISBN 0-471-92489

AI91

Andrews, Derek Ince, Darrel: Practical formal methods with VDM, London: McGraw-Hill, 1991 ISBN 0-07-707214-6

AT92

Tanenbaum, Andrew S.: Computer-Netzwerke, Attenkirchen: Wolfram's Fachverlag, 1992 ISBN 3-925328-79-3

BW95

Welch, Brent B.: Practical Programming in Tcl and Tk, New York: Prentice Hall, 1995 ISBN 0-13-182007-9

DB82

Bjøerner, Dines / Jones, Cliff B., 1982: Formal speciafication and software development, Prentice Hall Int., Inc., 1982 ISBN 0-13-329003-4

DC95

Chandler, David M.: Running a Perfect Web Site, Indianapolis: Que Corp., 1995 ISBN 0-7897-0210-X

DD92

Dougherty, Dale: sed & awk, O'Reilly & Associates, Inc., 1992 ISBN 0-937175-59-5

GB92

Born, Günter: Referenzhandbuch Dateiformate, Grafik, Text, Datenbanken, Tabellenkalkulation Bonn: Addison-Wesley, 1992 ISBN 3-89319-446-0

GL95

Lehey, Greg: Porting UNIX Software, Sebastopol, CA: O'Reilly & Associates, Inc., 1995 ISBN 1-56592-126-7

GS87

Sage, Russel G.: Tricks of the UNIX Masters, Indianapolis, Indiana: The Waite Group, Howard W. SAMS & Company, 1987 ISBN 0-672-22449-6

HH95

Hörcher, Hans-Martin: The VDM Class Library Generator: Reference Guide, Fachhochschule Wedel

IB69

IBM Einführung in die PL/I-Sprache, Lehrtext IBM Deutschland, 1969 IBM Form 79967-1

IB70

IBM System-Literatur IBM System /360 Programmierhandbuch PL/I SUBSET IBM Form C12-1000-0

IG95

Graham, Ian S.: HTML Source Book, A Complete Guide to HTML John Wiley & Sons, Inc., 1995 ISBN 0-471-11849-4

JN90

Nicholls, J.E.: Z User Workshop, Oxford 1990, Proceeding of the Fifth Annual Z User Meeting, Oxford Library of Congress Cataloging-in-Publication Data, 1990 ISBN 0-387-19672-2

JM95

Mohr, Jan Peter: Benutzerhandbuch für abstrakte Datentypen am Beispiel von VDM, Fachhochschule Wedel

JN95

Jones, Russ Nye, Adrian: HTML und das World Wide Web, Bonn: O' Reilly / International Thompson Verlag, 1995 / O'Reilly & Associates, Inc., 1995 ISBN 3-930673-34-7

JS86

Strang, John: Programming with curses, O'Reilly & Associates, Inc., 1986 ISBN 0-937175-02-1

JS92

Spivey, J.M.: The Z Notation, A Reference Manual UK: Prentice Hall Int., Ltd., 1992 ISBN 0-13-978529-9

JW95

Wulf, Jens: Erweiterung des VDM DSL-Compilers um ADT-Klasse BAG, Fachhochschule Wedel

KW95

Washburn, Kevin Evans, Jim: TCP/IP, Bonn: Addison-Wesley, 1995 ISBN 3-89319-658-7

LB95

Goosens, Michel Mittelbach, Frank: Samarin, Alexander Der LaTeX Begleiter, Bonn: Addison Wesley, 1995 / New York: Addison Wesley (Original title: LaTeX Companion), 1994 ISBN 3-89319-646-3

MM92

Mühlhäuser, Prof. Dr. Max Schill, Dr. Alexander: Software Engineering für verteilte Anwendungen, Berlin: Springer Verlag, 1992 ISBN 3-54055412-2

MK93

Kuhn, Michael: Informationssystem für die VDM-Class Library, Fachhochschule Wedel, 1993

MS90

Santifaller, Michael : TCP/IP und NFS in Theorie und Praxis: Unix in lokalen Netzen , Bonn: Addison Wesley, 1990 ISBN 3-89319-246-8

RS92

Stevens, W. Richard: Programmieren von UNIX-Netzen, Informationstechnik / Nachrichtentechnik, Wien: Hanser, 1992 / London: Prentice Hall, 1990 ISBN 3-446-16318-2

RSE92

Stevens, W. Richard: UNIX Network Programming, London: Prentice Hall, 1990 ISBN 0-13-949876-1

RS94

L.Schwartz, Randal / Foreword by Larry Wall: Learning Perl, CA: UNIX Programming, O'Reilly & Associates, Inc., 1994 ISBN 1-56592-042-2

RS95

Stevens, W. Richard: Programmierung in der Unix-Umgebung , Die Referenz für Fortgeschrittene, Professional Computing Series Bonn: Addison Wesley, 1995 ISBN 3-89319-814-8

RW93

Wonneberger, Dr. Reinhard: Kompaktführer LaTeX , Bonn: Addison Wesley, 1993 ISBN 3-89319-589-0

SI92

Schmidt, Uwe, 1992: Software-Entwicklungs-Methoden, Vorlesung im Sommersemester 1992 an der FH-Wedel

SM89

Mikes, Steven: X Window System Technical Reference, New York: Addison Wesley, 1989 ISBN 0-201-52370-1

TS95

Savola, Tom: Using HTML, Special Edition Indianapolis: Que Corp., 1995 ISBN 07897-0236-3