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.
Powell's Q&A, Q&A | December 13, 2009

Norberto Fuentes: IMG Powell's Q&A: Norberto Fuentes

0 comments By Norberto Fuentes

Describe your latest project. Norton has just published The Autobiography of Fidel Castro, a novel that took seven years of my life to complete as I... Continue »
  1. $19.56 Sale Hardcover add to wish list

    The Autobiography of Fidel Castro

    Norberto Fuentes
Ships free on qualified orders.
Add to Cart
$79.50
New Trade Paper
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 General- General
Used Book Alert Receive an email when this ISBN is available used.

This title in other formats:

Other titles in the Lecture Notes series:

  1. Abstract State Machines 2004. Advances in Theory and Practice
  2. Advances in Information Systems
  3. Advances in Web Intelligence
  4. Advances in Web-age Information Management
  5. Agent-Mediated Electronic Commerce V
  6. Agents and Computational Autonomy
  7. Algorithm Theory - Swat 2004
  8. Algorithmic Aspects of Wireless Sensor Networks
  9. Algorithmic Learning Theory
  10. Algorithmic Number Theory
  11. Analytic Capacity, Rectifiability, Menger Curvature and Cauchy Integral
  12. Applications of Graph Transformations with Industrial Relevance
  13. Artificial Intelligence and Cognitive Science
  14. Artificial Intelligence and Symbolic Computation
  15. Asymptotic Combinatorics with Applications to Mathematical Physics
  16. Automata, Languages and Programming
  17. Automated Reasoning
  18. Bifurcations in Hamiltonian Systems: Computing Singularities by Gr??bner Bases
  19. Biologically Inspired Approaches To Advanced Information Technology
  20. Characters & Cyclotomic Fields in Finite
  21. Clinical Pharmacology & Therapeutics
  22. Coevolutionary Fuzzy Modeling
  23. Component-based Software Engineering
  24. Computational Methods in Large Scale Simulation
  25. Computer Aided Verification
  26. Computer Aided Verification
  27. Computer Security - Esorics 2004
  28. Computer Systems
  29. Computer Vision - Eccv 2004
  30. Computer Vision - Eccv 2004
  31. Computer Vision in Human-Computer Interaction
  32. Computer Vision--Eccv 2000 Part II
  33. Computers Helping People with Special Needs: 9th International Conference, Icchp 2004, Paris, France, July 7-9, 2004, Proceedings
  34. Concept Lattices
  35. Conceptual Modeling- Er 2004
  36. Concur 2000 - Concurrency Theory
  37. Convex Variational Problems
  38. Cots-Based Software Systems
  39. Current Topics in Artificial Intelligence
  40. Deontic Logic in Computer Science
  41. Discovery Science
  42. Distributed Computing
  43. Distribution Logistics
  44. Domain Decomposition Methods in Science and Engineering
  45. Domain-Specific Program Generation
  46. Endocrinology and Diabetes
  47. Engineering Knowledge in the Age of the Semantic Web
  48. Engineering Societies in the Agents World IV
  49. Fast Software Encryption
  50. Finite Element Methods
  51. Flexible Query Answering Systems
  52. Formal Methods for the Design of Real - Time Systems
  53. Functional Analytic Methods for Evolution Equations
  54. Functional and Logic Programming
  55. Generalized Bounds for Convex Multistage Stochastic Programs
  56. Generative Programming and Component Engineering
  57. Generic Model Management
  58. Genetic and Evolutionary Computation -Gecco 2004, Part II
  59. Geometric Aspects of Functional Analysis
  60. Geometric Aspects of Functional Analysis
  61. Geometric Curve Evolution and Image Processing
  62. Geometric Mechanics
  63. Geometric, Control and Numerical Aspects of Nonholonomic Systems
  64. Grammatical Inference: Algorithms and Applications
  65. Graph-Theoretic Concepts in Computer Science
  66. Grid and Cooperative Computing - Gcc 2004 Workshops
  67. Grid Computing
  68. Haematology
  69. HP-Finite Element Methods for Singular Pertubations
  70. Human Physiology
  71. Implementation of Functional Languages
  72. Information and Communications Security
  73. Iwahori-Hecke Algebras and Their Representation Theory: Lectures Given at the Cime Summer School Held in Martina Franca, Italy, June 28 - July 6, 1999
  74. K3 Projective Models in Scrolls
  75. Key Technologies for Data Management: 21ST British National Conference on Databases, Bncod 21, Edinburgh, Uk, July 7-9, 2004, Proceedings
  76. Languages and Compilers for Parallel Computing
  77. Lecture Notes on Clinical Medicine
  78. Lecture Notes on Infectious Disease
  79. Lecture Notes on Medical Law and Ethics
  80. Lecture Notes on Neurology
  81. Lecture Notes on Obstetrics and Gynaecology
  82. Lecture Notes on Radiology (Large Print)
  83. Lecture Notes: Cardiology (Lecture Notes Series Lecture Notes)
  84. Lecture Notes: Dermatology
  85. Lecture Notes: Diseases of the Ear, Nose and Throat
  86. Lecture Notes: Elderly Care Medicine
  87. Lecture Notes: General Surgery
  88. Lecture Notes: Medical Genetics
  89. Lectures on Flavor Physics
  90. Logic Based Program Synthesis and Transformation
  91. Lot-sizing and Scheduling for Flexible Flow Lines
  92. Management of Multimedia Networks and Services
  93. Mathematical Aspects of Evolving Interfaces
  94. Mathematical Foundations of Computer Science 2000
  95. Mathematical Theory of Nonequilibrium Steady States
  96. Metainformatics
  97. Methods and Applications of Artificial Intelligence
  98. Mixed Automorphic Forms, Torus Bundles, and Jacobi Forms
  99. Mobility Aware Technologies and Applications
  100. Modeling Decisions for Artificial Intelligence
  101. Models and Analysis of Quasistatic Contact
  102. Multi-Agent for Mass User Support
  103. Music and Artificial Intelligence: Second International Conference, Icmai 2002, Edinburgh, Scotland, September 2002: Proceedings
  104. Narrative Theory and the Cognitive Sciences
  105. Narrative Theory and the Cognitive Sciences
  106. Natural Language Generation
  107. Natural Language Processing and Information Systems
  108. Networking Icn 2001 Vol. 2094
  109. Object-Oriented and Internet-Based Technologies
  110. Object-oriented Technology. Ecoop 2003 Workshop Reader
  111. Objects, Agents, and Features: International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers (Lecture Notes
  112. On the Move to Meaningful Internet Systems 2004: Otm 2004 Workshops: Otm Confederated International Workshops and Posters, Gada, Jtres, Mios, Worm, Wo
  113. Optimal Transportation and Applications: Lectures Given at the C.I.M.E. Summer School Held in Martina Franca, Italy, September 2-8, 2001
  114. Paris-Princeton Lectures on Mathematical Finance 2003
  115. Perturbation Compensator Based Robust Tracking Control and State Estimation of Mechanical Systems
  116. Programming Multi-Agent Systems
  117. Progress in Pattern Recognition, Image Analysis and Applications
  118. Quantum State Estimation
  119. Reading and Learning
  120. Real Methods in Complex and CR Geometry
  121. Real-time and Embedded Computing Systems and Applications
  122. Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape
  123. Reliable Software Technologies - ADA-Europe 2004
  124. Respiratory Medicine
  125. Sa(c)Minaire de Probabilita(c)S XXXVI
  126. Semantics of a Networked World. Semantics for Grid Databases
  127. Seminaire de Probabilites XXXV: Lecture Notes in Mathematics
  128. Semper--Secure Electronic Marketplace for Europe
  129. Signal Extraction Efficient Estimation U
  130. Smart Graphics
  131. Software Architecture
  132. Software Engineering Research and Applications
  133. Software Process Improvement
  134. Stability Estimates for Hybrid Coupled Domain Decomposition Methods
  135. Stateless Core: A Scalable Approach for Quality of Service in the Internet
  136. String Processing and Information Retrieval
  137. Structural Reliability
  138. Substitutions in Dynamics, Arithmetics and Combinatorics
  139. Teaching Formal Methods
  140. Text Speech and Dialogue
  141. The Aerodynamics of Heavy Vehicles: Trucks, Buses, and Trains
  142. The Valuative Tree
  143. Topics in Computational Wave Propagation
  144. Topics in Orbit Equivalence
  145. Topics in Spatial Stochastic Processes
  146. Topology of Singular Fibers of Differentiable Maps
  147. Types for Proofs and Programs
  148. Universal Multiservice Networks
  149. User-Centered Interaction Paradigms for Universal Access in the Information Society
  150. Web Content Caching and Distribution
  151. Representations of Real and P-Adic Groups
  152. Selected Topics in Post-genome Knowledge Discovery
  153. Lecture Notes: The Social Basis of Medicine

Formal Methods for Components and Objects (Lecture Notes)

by F. S. De Boer

Formal Methods for Components and Objects (Lecture Notes) Cover

Synopses & Reviews

Publisher Comments:

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.
back to top
back to top

Product Details

ISBN:
9783540229421
Subtitle:
Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Author:
De Boer, F. S.
Editor:
Boer, Frank S. de
Editor:
Bonsangue, Marcello M.
Author:
Willem-Paul de Roever
Author:
Boer, Frank S. de
Author:
Graf, Susanne
Author:
de Roever, Willem-Paul
Author:
Bonsangue, Marcello M.
Publisher:
Springer Berlin Heidelberg
Subject:
Computer Science
Subject:
Programming - Software Development
Subject:
Mobile computing
Subject:
Systems analysis.
Subject:
Software -- Development.
Subject:
Formal methods
Subject:
Miscellaneous Software
Subject:
systems modeling
Subject:
formal verification
Subject:
Reactive Systems
Subject:
systems architecture
Subject:
formal specification
Subject:
systems design
Subject:
component systems
Subject:
object systems
Subject:
Web systems
Subject:
Software Development & Engineering - General
Copyright:
2004
Edition Number:
1
Series:
Lecture Notes in Computer Science
Series Volume:
3188
Publication Date:
November 2004
Binding:
Paperback
Language:
English
Pages:
373
Dimensions:
9.21x6.14x.80 in. 1.19 lbs.
back to top
  • 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.