Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings


Book Informaton

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Author

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)

Series

Lecture Notes in Computer Science 5850: Programming and Software Engineering

Year of Publication

2009

Publisher

Springer-Verlag Berlin Heidelberg

Language

en

ISBN

3642050883, 9783642050886

ARI Id

1672340813224


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.