Parker, K.R. (Hrsg.)
Formal Description Techniques, IV
Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4832-9333-2 |
|---|---|
| Seitenzahl | 596 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 65171 Kbytes |