Want to get more out of the basic search box?
Read about Search Operators for some powerful new tools. Editor , Lawford, Mark. Editor , Liu, Shaoying. Computer communication systems.
- Breath of Magik (Dragon & fire Book 1).
- Formal Methods in System Design - Springer;
- Modem Times 2.0 (PM Press Outspoken Authors)!
- Angels In The Midst - 2010 Edition.
- Recommended articles.
- The King of Colored Town!
Computer programming. Software engineering. Programming languages Electronic computers. Computer logic. Mathematical logic. Holdings Description Table of Contents Comments Similar Items Staff View Table of Contents: Abstraction, refinement and evolution Formal specification and modeling Program analysis Formal verification Model checking Formal approaches to software testing and inspection Formal methods for self-adaptive systems Formal methods for object-oriented systems Formal methods for component-based systems Tool development, integration and experiments involving verified systems Formal model-based development and code generation.
Have formal methods in computer science come of age? While the contributions to this special issue of Mathematical Structures in Computer Science attest to their importance in the design and analysis of particular software systems, their relevance to the field as a whole is far wider. As a result, they are now a central component of computer-science education and research. Email your librarian or administrator to recommend adding this journal to your organisation's collection. This data will be updated every 24 hours. Login Alert. Log in.
Postlude: seamless composition Aa Aa. Check if you have access via personal or institutional login. Log in Register. Email: best bu. Export citation Request permission. References Hide All. Abel , A. In: Egly , U.stucluacetmai.ml
European studies on formal methods in the humanities
Ancona , D. Asperti , A. Journal of Automated Reasoning 39 2 — Aydin , H. Bestavros , A. Electronic Proceedings in Theoretical Computer Science 66 24 — Brown , C. In: Borwein , J. Buss , S. The Bulletin of Symbolic Logic 7 2 — Cairns , P. Carlier , S. In: Schmidt, D. Chklovski , T. Clarke , E. ACM Computing Surveys 28 4.
Logic program synthesis - ScienceDirect
Davis , M. In: Herkin , R. Deng , Z. Grumberg , O. Halpern , J.
Han , S. Hanenberg , S. In: D'Hondt , T.
Hsiung , P. Jackson , D. Jim , T.
Related Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)
Copyright 2019 - All Right Reserved