Research Catalog

Formal methods for open object-based distributed systems

Title: Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani.
Publication: London ; New York : Chapman & Hall, on behalf of IFIP, 1997.

Filter by

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 2	Text	Request in advance	JSL 99-90 v. 2	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1	Text	Request in advance	JSL 99-90 v. 1	Offsite

Additional Authors

Description

vii, 411 p. : ill.; 24 cm.

Subject

Numbering (note)

Call Number

JSL 99-90

ISBN

0412797704

OCLC

36802760

Title

Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani.

Imprint

London ; New York : Chapman & Hall, on behalf of IFIP, 1997.

Edition

1st ed.

Numbering

First volume, published in 1997, lacks numbering but constitutes v. 1.

Added Author

Najm, Elie.

Stefani, Jean-Bernard.

Research Call Number

JSL 99-90 Library has: Vol. 1-v. 2, published 1997.