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
- 620/.0042/015113
- 005.1
- QA76.9.S88
Contents:
Call number: Grundsignatur: 95 A 4152PPN: PPN: 185455816
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