|
![]() |
|||
|
||||
OverviewThis volume reports on several important and state-of-the-art topics in information technology, including: / Quality of Service in Information Networks / Risk-Driven Development of Security-Critical Systems Using UMLsec / Developing Portable Software/ Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations / The Problematic of Distributed Systems Supervision / Software Rejuvenation --- Modeling and Analysis / Test and Design-for-Test of Mixed-Signal Integrated Circuits / Web Services/ Applications of Multi-Agent Systems / Discrete Event Simulation / Human-Centered Automation. Information Technology: Selected Tutorials comprises papers presented at the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France and sponsored by the International Federation for Information Processing (IFIP). Full Product DetailsAuthor: Ricardo ReisPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: Softcover reprint of the original 1st ed. 2004 Volume: 157 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 0.528kg ISBN: 9781441954893ISBN 10: 1441954899 Pages: 331 Publication Date: 29 December 2011 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |