Research Catalog

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

Title: Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer ... [et al.] (eds.).
Author: FMCO 2003 (2003 : Leiden, Netherlands)
Publication: Berlin ; New York : Springer, 2004.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	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?	Text	Request in advance	JSE 05-182	Offsite

Details

Description

viii, 371 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3188. Tutorial

Uniform Title

Lecture notes in computer science ; 3188.
Lecture notes in computer science. Tutorial.

Alternative Title

FMCO 2003

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also issued online.

Call Number

JSE 05-182

ISBN

3540229426 (pbk.)

LCCN

2004112623

OCLC

56933205

Conference

FMCO 2003 (2003 : Leiden, Netherlands)

Title

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer ... [et al.] (eds.).

Imprint

Berlin ; New York : Springer, 2004.

Series

Lecture notes in computer science, 0302-9743 ; 3188. Tutorial

Lecture notes in computer science ; 3188.

Lecture notes in computer science. Tutorial.

Bibliography

Includes bibliographical references and index.

Additional Formats

Also issued online.

Research Call Number

JSE 05-182

View in Legacy Catalog