Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

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

Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Formal approaches to computing and information technologyVerlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 1999Beschreibung: XVI, 400 S. : graph. DarstISBN:
  • 1852336404
Weitere Titel:
  • industrial-strength
Schlagwörter: Genre/Form: DDC-Klassifikation:
  • 005.13/1
  • 005.131
RVK: RVK: ST 130LOC-Klassifikation:
  • QA76.9.F67I53 1999
Inhalte:
Bearbeitungsvermerk:
  • 3
Call number: Grundsignatur: E.Ind(33362)PPN: PPN: 1606622390
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode Vormerkungen
Freihandbestand ausleihbar Fachbibliothek Informatik E.Ind Bibliothek / frei aufgestellt E.Ind(33362) Verfügbar 000382858090
Anzahl Vormerkungen: 0

Archivierung prüfen 20200919 DE-640 3 pdager

Powered by Koha