Richard F. Paige – författare
449 kr
Skickas inom 10-15 vardagar
425 kr
Läs direkt efter köp
Distributed processing has a strong theoretical foundation, but many day-to-day practitioners make limited use of the advantages this theory can give them. The result includes unreliable systems with obscure and intermittent failures, that can cost time, money and in extreme cases, lives. Reliable construction of distributed and concurrent systems must incorporate theory in practice.
This book provides a concise presentation of the theory closely linked to the practical realisation of these concepts. Practical presentation is given with examples from C, Java and Eiffel in this comprehensive textbook which contains all the elements needed for a complete development of a distributed system. Theoretical models of concurrency are linked with practical realisation of systems, providing an integrated approach to the field.
Written with undergraduates in mind, especially relevant for intermediate level students, this textbook will prove a comprehensive guide to the topic. Example code will be provided on a website.
Software Language Engineering
6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
Objects, Components, Models and Patterns
46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.
The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.