Research Catalog

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

Title: Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).
Author: TFM 2004 (2004 : Ghent, Belgium)
Publication: Berlin : Springer, c2004.

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

Details

Additional Authors

Description

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

Series Statement

Lecture notes in computer science, 0302-9743 ; 3294

Subjects

Note

"These proceedings record the papers presented at the Symposium on Teaching Formal Methods (TFM 2004) held at the University of Ghent in Belgium, 18-19 November 2004"--Pref.

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 05-19

ISBN

3540236112 (pbk.)

LCCN

2004113937

OCLC

57297858

Conference

TFM 2004 (2004 : Ghent, Belgium)

Title

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).

Imprint

Berlin : Springer, c2004.

Series

Lecture notes in computer science, 0302-9743 ; 3294

Bibliography

Includes bibliographical references and index.

Added Author

Dean, Neville.

Boute, R. T. (Raymond T.)

Research Call Number

JSE 05-19

View in Legacy Catalog