Software Architecture
This book constitutes the proceedings of the 7th European Conference on Software Architecture,...
EAN: 9783642390302
Modelling Foundations and Applications
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and...
EAN: 9783642390128
Theory and Practice of Model Transformations
This book constitutes the refereed proceedings of the 6th International Conference on Theory and...
EAN: 9783642388828
Ubiquitous Information Technologies and Applications
Recent advances in electronic and computer technologies have paved the way for the proliferation...
EAN: 9789400758568
Formal Methods for Components and Objects
EAN: 9783642358869
Formal Aspects of Component Software
This book constitutes the revised selected papers of the 9th International Symposium on Formal...
EAN: 9783642358609
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical...
EAN: 9783642357213
Transactions on Aspect-Oriented Software Development IX
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of...
EAN: 9783642355509
Certified Programs and Proofs
This book constitutes the refereed proceedings of the Second International Conference on...
EAN: 9783642353079
Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post-conference proceedings of the 7th...
EAN: 9783642341878
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging...
EAN: 9783642340314
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging...
EAN: 9783642340253
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 10th International Conference on Software...
EAN: 9783642338250
New Essays in Free Logic
Free logic - i.e., logic free of existential presuppositions in general and with respect to...
EAN: 9789048159154
Python 3 - Intensivkurs
Mit Python 3 steht nun eine Version zur VerfĂĽgung, die wesentliche Änderungen zu frĂĽheren...
EAN: 9783642043765
Konzepte objektorientierter Programmierung
Es erläutert das Objekt- und Klassenkonzept, beschreibt Kapselungstechniken und geht detailliert...
EAN: 9783540894704
Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International...
EAN: 9783319082592
C Programming: The Essentials for Engineers and Scientists
much on their perceptions of C as an important language, which it certainly is, and on C...
EAN: 9781461271611
Value-Range Analysis of C Programs
The book formally describes how program operations are mapped to operations on polyhedra and...
EAN: 9781849967020
Pattern Calculus
Over time, basic research tends to lead to specialization – increasingly narrow t- ics are...
EAN: 9783642426018
Assurances for Self-Adaptive Systems
The increasing complexity of systems and the growing uncertainty in their operational...
EAN: 9783642362484
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 19th International Conference on Tools and...
EAN: 9783642367410
