Research Catalog

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

Title: Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.
Author: FORTE 2004 (2004 : Madrid, Spain)
Publication: Berlin ; New York : Springer, c2004.

Available Online

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-136	Offsite

Details

Additional Authors

Description

x, 375 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3235

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also issued online.

Call Number

JSE 05-136

ISBN

3540232524 (pbk. : alk. paper)

LCCN

2004112981

OCLC

56756042

Conference

FORTE 2004 (2004 : Madrid, Spain)

Title

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science, 0302-9743 ; 3235

Bibliography

Includes bibliographical references and index.

Additional Formats

Also issued online.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Frutos-Escrig, David de.

Núñez, Manuel, Profesor.

IFIP Working Group 6.1.

Research Call Number

JSE 05-136

View in Legacy Catalog