Custom cover image
Custom cover image

Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98; IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII), 3 - 6 November 1998, Paris, France / ed. by Stan Budkowski ...

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Boston [u.a.] : Kluwer, 1998Description: VIII, 467 S. : Ill., graph. DarstISBN:
  • 0412847604
Subject(s): Genre/Form: MSC: MSC: *68M10 | 00B25 | 68-06RVK: RVK: SS 1998Action note:
  • 3
Call number: Grundsignatur: 99 A 2166PPN: PPN: 1605914320
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode Item holds
Freihandbestand ausleihbar Bibliothek Campus Süd nach 2.3 Lesesaal Technik (LST) 99 A 2166 Available 09042383540
Total holds: 0

Archivierung prüfen 20200919 DE-640 3 pdager

Powered by Koha