Custom cover image
Custom cover image

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

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice-Hall international series in computer sciencePublisher: London [u.a.] : Prentice Hall, 1995Description: XVII, 447 S : graph. DarstISBN:
  • 0133669491
Subject(s): Genre/Form: DDC classification:
  • 620/.0042/015113
  • 005.1
MSC: MSC: *68M07 | 00B15 | 68M99 | 68N99 | 68-02RVK: RVK: ST 230 | ST 237LOC classification:
  • QA76.9.S88
Contents:
Call number: Grundsignatur: 95 A 4152PPN: PPN: 185455816
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Date due Barcode Item holds
Freihandbestand ausleihbar Bibliothek Campus Süd inf 1.4 Lesesaal Wirtschaftswissenschaften und Informatik (LSW) 95 A 4152 ;b Available 44316418090
Total holds: 0

Powered by Koha