Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings - Info and Reading Options
By Huibiao Zhu
"Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings" was published by Springer in 2010.
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
- Author: Huibiao Zhu
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer networks - Computer science - Software engineering - Computer software - Entscheidungsverfahren - Programmtest - Programmverifikation - Formale Methode - Serviceorientierte Architektur - Softwareentwicklung - Congresses - Web Services - Model Checking - Leistungsbewertung - Formal methods (Computer science) - Programmanalyse - Computer engineering
Edition Identifiers:
- The Open Library ID: OL25973559M - OL17393139W
- Library of Congress Control Number (LCCN): 2010938033
- ISBN-13: 9783642169007
- All ISBNs: 9783642169007
AI-generated Review of “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings”:
Read “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings”:
Read “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” by choosing from the options below.
Search for “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
Find “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” in Libraries Near You:
Read or borrow “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” from your local library.
Buy “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” online:
Shop for “Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” on popular online marketplaces.
- Ebay: New and used books.