Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Qiu, Zongyan - Contributor
- SpringerLink (Online service) - Contributor
Publication
2011 - Springer-Verlag GmbH Berlin Heidelberg, Berlin, Heidelberg
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
[electronic resource] :
Identifiers
- Open LibraryOL25547591M
- ISBN-139783642245589
- OCLC Control Numberformalmethodssof0000ieee
- Library of Congress Control Number2011937705
Classifications
- LCCQA76.9.F67 I5788 2011
Subjects
Topics
CongressesInformatiqueComputer scienceComputer softwareComputer networksSoftware engineeringProgramming TechniquesComputer Communication NetworksFormal methods (Computer science)Mathematical Logic and Formal LanguagesAlgorithm Analysis and Problem ComplexityProgramming Languages, Compilers, Interpreters
Series Statement
- Lecture Notes in Computer Science -- 6991
Other Editions
- Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Similar Books
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
edited by Farhad Arbab, Peter Csaba Ölveczky
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
edited by Alexander Romanovsky, Tullio Vardanega
Swarm, Evolutionary, and Memetic Computing: Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012, Proceedings
Bijaya Ketan Panigrahi, Pradipta Kumar Nanda, Ponnuthurai Nagaratnam Suganthan, Swagatam Das
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!