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 Verifi

Basic information on record for this barcode. Check its recall status and where to find it below.

Barcode (EAN/GTIN)9780412847608
BrandKluwer Academic Publishers
Categorycomputer science
GS1 registrantInternational ISBN Agency (ISBN (Books))
🟢 No active recalls on file  ·  Checked against EU Safety Gate, US FDA, US CPSC and Health Canada datasets (2026-07-19).

ProductGuru is an independent information service showing basic product identifiers and public GS1 data. Not legal or safety advice — for the definitive record, check the brand owner.

Was this page helpful?