Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Information Systems, Computer science, Software engineering, Computer software, development, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of ProgramsShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
2011, Springer Berlin Heidelberg
electronic resource :
in English
3642198287 9783642198281
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 15, 2024 | Edited by MARC Bot | import existing book |
February 26, 2022 | Edited by ImportBot | import existing book |
June 30, 2019 | Edited by MARC Bot | import existing book |
July 29, 2014 | Created by ImportBot | import new book |