Custom cover image
Custom cover image

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:
  • 1852336404
Other title:
  • industrial-strength
Subject(s): Genre/Form: DDC classification:
  • 005.13/1
  • 005.131
RVK: RVK: ST 130LOC classification:
  • QA76.9.F67I53 1999
Contents:
Action note:
  • 3
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

Powered by Koha