This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lire la suiteVolume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Lire la suiteMiddleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Lire la suiteSoftware is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Lire la suiteThis book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
Lire la suiteSqueak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lire la suiteSystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Lire la suiteThis volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
Lire la suiteAt the roots of these questions lies human experience which ought to be appropriately clarified before entering into speculative ...
Lire la suiteEven though mathematics and physics have been related for centuries and this relation appears to be unproblematic, there ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suiteThe SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lire la suiteUndergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
Lire la suiteA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suiteThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suiteThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suite