shopping cart
Save up to 30% on our Staff Picks
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Original Essays | November 9, 2009

Jesse Bullington: IMG Abash'd the Devil Stood

0 comments By Jesse Bullington

I don't believe in evil. It's a word I use, certainly, because words are shortcuts and we all take the short way round from time to time, but that's... Continue »
  1. $10.49 Sale Trade Paper add to wish list

    The Sad Tale of the Brothers Grossbart

    Jesse Bullington
Ships free on qualified orders.
Add to Cart
$288.50
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Object Oriented Programming
Used Book Alert Receive an email when this ISBN is available used.

This title in other formats:

Other titles in the International Federation for Information Processing series:

  1. Advances in Network and Distributed Systems Security: Ifip Tc11 Wg11.4 First Annual Working Conference on Network Security: November 26-27, 2001, Leuv
  2. Computers and Networks in the Age of Globalization
  3. Database Semantics
  4. E-Business and Virtual Enterprises
  5. Formal Methods for Distributed System Development
  6. From Specification To Embedded Systems Application
  7. Information Technology
  8. Next Generation Optical Network Design and Modelling: Ifip Tc6/Wg6.10 Sixth Working Conference on Optical Network Design and Modelling (Ondm 2002), Fe (International Federation for Information Process
  9. The Virtual Campus: Trends for Higher Education and Training; Ifip Tc3/Wg3.3 & Wg3.6 Joint Working Conference on the Virtual Campus: Trend
  10. Mobile Information Systems II
  11. Cooperative Knowledge Processing for Engineering Design
  12. Formal Description Techniques & Protocol Specification, Testing, & Verification: Forte XI PST
  13. Integrity & Internal Control in Information Systems: IFIP TC11 Working Group 11.5 Working Conference on Integrity & Internal Control in Information Systems, Bridging Business Requirements & Research R
  14. Multimedia Database Management Systems
  15. Integrated Region-Based Image Retrieval
  16. Software Architecture: Tc2 First Working Ifip Conference on Software Architecture (Wicsa1): 22-24 February 1999, San Antonio, Texas, USA
  17. Control of Distributed Parameter and Stochastic Systems
  18. Database Security XII: Status and Prospects
  19. Distributed Applications & Interoperable Systems II: IFIP TC6 WG6.1 International Working Conference on Distributed Applications & Interoperable Systems (DAIS'99), June 28-July 1, 1999, Helsinki, Finl
  20. Information Infrastructure Systems for Manufacturing Ii: IFIP TC5 WG5.3/5.7 3rd International Working Conference on the Design of Information Systems for Manufacturing (diism'98) : May 18-20, 1998, Fo
  21. Educating Professionals for Network-Centric Organisations
  22. Machining Impossible Shapes
  23. Optical Networks, Design and Modeling
  24. New Information Technologies in Organizational Processes: Field Studies and Theoretical Reflections on the Future Ofwork
  25. Testing of Communicating Systems: Methods and Applications
  26. Secure Information Networks, Communication and Multimedia Security
  27. Global Protection Management
  28. Distributed and Parallel Embedded Systems
  29. Information Security Management & Small Systems Security: Ifip Tc11 Wg11.1/Wg11.2 Seventh Annual Working Conference on Information Security Management
  30. Formal Methods for Protocol Engineering and Distributed Systems
  31. Human Learning: From Learning Curves to Learning Organizations
  32. Knowledge Intensive Computer Aided Design: Ifip Tc5 Wg5.2 Third Workshop on Knowledge Intensive CAD, December 1-4, 1998, Tokyo, Japan
  33. VLSI: Systems on a Chip: Ifip Tc10 Wg 10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), Decembe
  34. Information Systems Concepts: An Integrated Discipline Emerging
  35. Building University Electronic Educational Environments
  36. Organizational and Social Perspectives on Information Technology: Ifip Tc8 Wg8.2 International Working Conference on the Social and Organizational Per
  37. Games in Operations Management
  38. Research Advances in Database and Information Systems Security: Ifip Tc 11 Wg 11.3 Thirteenth Working Conference on Database Security, July 25-
  39. Advances in Networked Enterprises: Virtual Organizations, Balanced Automation, and Systems Integration
  40. Managing Qos in Multimedia Networks and Services
  41. Diffusing Software Product and Process Innovations
  42. Pathways to Institutional Improvement with Information Technology in Educational Management: Ifip Tc3/Wg3.7
  43. Advances in Information Security Management & Small Systemssecurity
  44. Data and Applications Security: Developments and Directions: Ifip Tc11 Wg11.3 Fourteenth Annual Working Conference on Database Security, Schoorl, the
  45. Integrity and Internal Control in Information Systems: Strategic Views on the Need for Control
  46. Environmental Software Systems: Environmental Information and Decision Support
  47. Advances in Visual Information Management: Visual Database Systems
  48. Home Informatics and Telematics: Information, Technology and Society
  49. Ifip International Federation for Information Processing #174: History of Nordic Computing: Ifip Wg9.7 First Working Conference on the History of Nordic Computing (Hinc1), June 16-18, 2003, Trondheim,
  50. System Modelling and Optimization: Methods, Theory, and Applications
  51. Information Security for Global Information Infrastructures
  52. Testing of Communicating Systems: Tools and Techniques
  53. Formal Methods for Open Object-Based Distribution Systems IV
  54. Telecommunication Network Intelligence
  55. Personal Wireless Communications
  56. Smart Card Research and Advanced Applications
  57. Information and Communication Technologies in Education, the School of the Future
  58. Ifip International Federation for Information Processing #212: Ad-Hoc Networking: Ifip 19th World Computer Congress, Tc-6, Ifip Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiag
  59. Ifip International Federation for Information Processing #213: Network Control and Engineering for Qos, Security and Mobility, V: Ifip 19th World Computer Congress, Tc-6, 5th Ifip International Confer
  60. Ifip International Federation for Information Processing #220: Advanced Software Engineering: Expanding the Frontiers of Software Technology: Ifip 19th World Computer Congress, First International Wor
  61. Ifip International Federation for Information Processing #233: The Information Society: Innovation, Legitimacy, Ethics and Democracy in Honor of Professor Jacques Berleur S.J.: Proceedings of the Conf
  62. Ifip International Federation for Information Processing #235: Organizational Dynamics of Technology-Based Innovation: Diversifying the Research Agenda: Ifip Tc8 Wg 8.6 International Working Conferenc
  63. Ifip International Federation for Information Processing #240: VLSI-Soc: From Systems to Silicon: Ifip Tc10/ Wg 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Ch
  64. Ifip International Federation for Information Processing #242: Advances in Digital Forensics III: Ifip International Conference on Digital Forensics, National Center for Forensic Science, Orlando Flor
  65. Ifip International Federation for Information Processing #243: Establishing the Foundation of Collaborative Networks: Ifip Tc 5 Working Group 5.5 Eighth Ifip Working Conference on Virtual Enterprises
  66. Ifip International Federation for Information Processing #245: Personal Wireless Communications: The 12th Ifip International Conference on Personal Wireless Communications (Pwc 2007), Prague, Czech Re
  67. Ifip International Federation for Information Processing #246: Advances in Production Management Systems: International Ifip Tc 5, Wg 5.7 Conference on Advances in Production Management Systems (Apms
  68. Ifip International Federation for Information Processing #247: Artificial Intelligence and Innovations 2007: From Theory to Applications: 4th Ifip International Conference on Artificial Intelligence A
  69. Ifip International Federation for Information Processing #262: The Future of Identity in the Information Society: Proceedings of the Third Ifip Wg 9.2, 9.6/11.6, 11.7/Fidis International Summer School
  70. Ifip International Federation for Information Processing #292: Evolution of Information Technology in Educational Management

International Federation for Information Processing #10: Formal Methods for Open Object-Based Distributed Systems

by Roberto Gorrieri

International Federation for Information Processing #10: Formal Methods for Open Object-Based Distributed Systems Cover

Synopses & Reviews

Publisher Comments:

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Book News Annotation:

The proceedings of the February 1999 conference collects works at the convergence of three related fields: formal methods, distributed systems, and object-based technology. The 19 regular papers and seven short papers are arranged under the headings of languages, semantics, Java and coordination, object composition and reuse, telecommunications, formal methods, and emerging standards. Topics include observation equivalences for the semantics of inheritance, specifying reusable controllers for behavioral specifications, pattern application versus inheritance in SDL, protocol assuring universal language, modular reasoning for actor specification diagrams, and formal development of object-based systems in a temporal logic setting. No indexing is provided.
Annotation c. Book News, Inc., Portland, OR (booknews.com)
back to top
back to top

Product Details

ISBN:
9780792384298
Editor:
Ciancarini, Paolo
Editor:
Fantechi, Alessandro
Editor:
Ciancarini, Paolo
Editor:
Gorrieri, Roberto
Editor:
Fantechi, Alessandro
Author:
Ciancarini, Paolo
Author:
Gorrieri, Roberto
Author:
Fantechi, Alessandro
Editor:
Ciancarini, Paolo
Publisher:
Springer Netherlands
Location:
Bostons
Subject:
Computer Architecture
Subject:
Programming - Object Oriented Programming
Subject:
Operating Systems - General
Subject:
Electronic data processing
Subject:
Object-oriented programming (computer science
Subject:
Object-oriented programming
Subject:
Object-oriented pro
Copyright:
1999
Edition Number:
1
Edition Description:
Includes bibliographical references.
Series:
IFIP International Federation for Information Processing
Series Volume:
10
Publication Date:
January 1999
Binding:
Hardcover
Language:
English
Pages:
448
Dimensions:
900x706x119 190
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.