Compositional verification of distributed systems /

Enregistré dans:
Détails bibliographiques
OCLC:22894733
Auteur principal: Jonsson, Bengt
Collectivité auteur: Uppsala universitet
Langue:English
Publié: Uppsala, Sweden : Dept. of Computer Systems, Uppsala University, 1987.
Sujets:
Electronic data processing > Distributed processing > Mathematical models.
Gedistribueerde gegevensverwerking.
Modellen.
Format:

Thèse Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Description Local Call Number Statut
Notes:
  • UWashington says they never received this shipment. The UPS information has aged out. it was sent but we don't know who received it.mew
 P-00433425 Disponible

Documents similaires