Research Catalog

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Title: Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures / Marco Bernardo, Paola Inverardi (eds.).
Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (3rd : 2003 : Bertinoro, Italy)
Publication: Berlin ; New York : Springer, c2003.

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 04-284	Offsite

Details

Additional Authors

Description

vi, 285 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2804

Alternative Title

SFM 2003

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-284

ISBN

3540200835

LCCN

2003060987

OCLC

52942704

Conference

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (3rd : 2003 : Bertinoro, Italy)

Title

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures / Marco Bernardo, Paola Inverardi (eds.).

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science ; 2804

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Bernardo, Marco.

Inverardi, Paola.

Research Call Number

JSE 04-284

View in Legacy Catalog