Applications of formal methods / ed. by Michael G. Hinchey ...

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Prentice-Hall international series in computer scienceVerlag: London [u.a.] : Prentice Hall, 1995Beschreibung: XVII, 447 S : graph. DarstISBN:

Schlagwörter:

Genre/Form:

DDC-Klassifikation:

MSC: MSC: *68M07 | 00B15 | 68M99 | 68N99 | 68-02RVK: RVK: ST 230 | ST 237LOC-Klassifikation:

Inhalte:

Call number: Grundsignatur: 95 A 4152PPN: PPN: 185455816

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 1.4	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	95 A 4152	;b	Verfügbar		44316418090

Anzahl Vormerkungen: 0