Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures


Book Informaton

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Author

Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever

Series

Lecture Notes in Computer Science

Volume

3657

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Pages

VIII, 328

Language

en

ISBN

9783540291312, 9783540319399, 3540291318

ARI Id

1664916462452


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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

Showing 1 to 16 of 16 entries
Showing 1 to 16 of 16 entries