Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
We couldn't estimate the reading time for this book.
Contributions
- Naor, Moni, 1961- - Contributor
- Vardi, Moshe Y. - Contributor
- Wehrheim, Heike - Contributor
- Weikum, Gerhard - Contributor
- Tygar, J.D. - Contributor
and 12 more
- Terzopoulos, Demetri - Contributor
- Sudan, Madhu - Contributor
- Steffen, Bernhard - Contributor
- Nierstrasz, Oscar Marius, 1957- - Contributor
- Mitchell, John C. - Contributor
- Mattern, Friedemann - Contributor
- Leuschel, Michael - Contributor
- Kleinberg, Jon - Contributor
- Kittler, Josef, 1946- - Contributor
- Kanade, Takeo - Contributor
- 1955- - Contributor
- SpringerLink (Online service) - Contributor
Publication
2009 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archiveintegratedformal00leus
- Internet Archiveintegratedformal2009leus
- ISBN-139783642002540
- ISBN-139783642002557
- ISBN-103642002544
and 6 more
- ISBN-103642002552
- Library of Congress Control Number2009920467
- OCLC Control Number302315740
- Better World Books9783642002540
- Better World Books9783642002557
- Open LibraryOL25548048M
Classifications
- LCCQA76.9.F67 I58 2009
- LCCQA75.5-76.95
- LCCQA76.9.F67 I684 2009
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!