Formal Methods and Software Engineering - Info and Reading Options
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ...
By Toshiaki Aoki and Kenji Taguchi
"Formal Methods and Software Engineering" is published by Springer in Sep 19, 2012 and it has 526 pages.
“Formal Methods and Software Engineering” Metadata:
- Title: ➤ Formal Methods and Software Engineering
- Authors: Toshiaki AokiKenji Taguchi
- Number of Pages: 526
- Publisher: Springer
- Publish Date: Sep 19, 2012
“Formal Methods and Software Engineering” Subjects and Themes:
- Subjects: ➤ Software engineering - System design - Formal methods (Computer science) - Congresses - Computer software - Verification - Computer science - Computer Communication Networks - Programming Techniques - Programming Languages, Compilers, Interpreters - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL28258170M - OL20868261W
- Library of Congress Control Number (LCCN): 2012949358
- ISBN-13: 9783642342806
- ISBN-10: 3642342809
- All ISBNs: 3642342809 - 9783642342806
AI-generated Review of “Formal Methods and Software Engineering”:
Read “Formal Methods and Software Engineering”:
Read “Formal Methods and Software Engineering” by choosing from the options below.
Search for “Formal Methods and Software Engineering” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods and Software Engineering” in Libraries Near You:
Read or borrow “Formal Methods and Software Engineering” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Methods and Software Engineering” at a library near you.
Buy “Formal Methods and Software Engineering” online:
Shop for “Formal Methods and Software Engineering” on popular online marketplaces.
- Ebay: New and used books.