Huibiao Zhu

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

We couldn't estimate the reading time for this book.

Author

Huibiao Zhu

Publication

2010 - Springer

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

Internet Archiveformalmethodssof00dong_130
Internet Archiveformalmethodssof00dong_517
ISBN-139783642169007
ISBN-103642169007
Library of Congress Control Number2010938033

and 2 more

Better World Books9783642169007
Open LibraryOL25973559M

Classifications

LCCQA76.9.F67 I5788 2010
LCCQA75.5-76.95

Subjects

Topics

Congresses Programmtest Web Services Model Checking Programmanalyse Formale Methode Computer science

Similar Books

Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jeremy T. Bradley

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!