Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings


Book Informaton

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Author

C. Neville Dean; Raymond T. Boute

Series

Lecture Notes in Computer Science

Volume

3294

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

VIII, 252

Language

en

ISBN

9783540236115, 9783540304722, 3540236112

ARI Id

1665052747605


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo