Industrial strength formal methods in practice / Michael G. Hinchey ... (eds.)

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Formal approaches to computing and information technologyPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1999Description: XVI, 400 S. : graph. DarstISBN:

Other title:

Subject(s):

Genre/Form:

DDC classification:

RVK: RVK: ST 130LOC classification:

Contents:

Action note:

Call number: Grundsignatur: E.Ind(33362)PPN: PPN: 1606622390

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Ind	Bibliothek / frei aufgestellt	E.Ind(33362)	Available		000382858090

Total holds: 0

Archivierung prüfen 20200919 DE-640 3 pdager