Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Lee mas
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
Mathematical Foundations of Computer Science 2006
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
Lee mas
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mas
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lee mas
Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Lee mas
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lee mas
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Lee masNext Generation Design and Verification Methodologies for Distributed Embedded Control Systems
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded ...
Lee mas
OpenMP Shared Memory Parallel Programming : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
The first part of the book presents 16 revised full papers carefully reviewed and selected from the IWOMP 2005 program and ...
Lee masPharmaceutical Analysis for Small Molecules / Behnam Davani
Designed to assist both recent graduates, as well as experienced chemists or scientists with limited regulatory, compendial ...
Lee mas
Principles of Security and Trust
This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Lee mas
Product Reliability : Specification and Performance
Product Reliability develops a framework which links reliability specifications and product performance in the context of ...
Lee mas
Programming Languages and Systems
This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
Lee mas
