Specification and Proof in real- time CSP /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Davis, Jim
Formaat: Boek
Taal:Engels
Gepubliceerd in: Cambridge : Press Sydicate, c1993.
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Athi-River Campus: Open Shelves

Exemplaargegevens van Athi-River Campus: Open Shelves
Plaatsingsnummer: PE1417.A13
Barcode BK017756 Beschikbaar Plaats een reservatie