Formal Methods and Software Engineering - Info and Reading Options
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
By Toshiaki Aoki and Kenji Taguchi
"Formal Methods and Software Engineering" was published by Springer London, Limited in 2012 and the language of the book is English.
“Formal Methods and Software Engineering” Metadata:
- Title: ➤ Formal Methods and Software Engineering
- Authors: Toshiaki AokiKenji Taguchi
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2012
- Library of Congress Classification: QA75.5-76.95QA76.758
“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:
- Pagination: xiv, 512
Edition Identifiers:
- The Open Library ID: OL35792942M - OL20868261W
- ISBN-13: 9783642342813
- All ISBNs: 9783642342813
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.