My Wish Lists Login / Join

Lecture Notes in Computer Science

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

By: Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor)

Write A Review

Paperback | 27 October 2004

At a Glance

Paperback
388 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Compilers & Interpreters

Causality and scheduling constraints in heterogeneous reactive systems modeling	p. 1
Machine function based control code algebras	p. 17
Exploiting abstraction for specification reuse : the Java/C# case study	p. 42
On the verification of cooperating traffic agents	p. 77
How to cook a complete Hoare logic for your pet OO language	p. 111
Behavioural specification for hierarchical object composition	p. 134
Consistency management within model-based object-oriented development of components	p. 157
CommUnity on the move : architectures for distribution and mobility	p. 177
TulaFale : a security tool for Web services	p. 197
A checker for modal formulae for processes with data	p. 223
Semantic essence of AsmL	p. 240
An MDA approach to tame component based software development	p. 260
An application of stream calculus to signal flow graphs	p. 276
Synchronous closing and flow analysis for model checking timed systems	p. 292
Priority systems	p. 314
Preserving properties under change	p. 330
Tools for generating and analyzing attack graphs	p. 344
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

The Times Codeword: Book 13

200 Cracking Logic Puzzles

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI Engineering

Building Applications with Foundation Models

AI, Robotics, and 3D Printing

Constructing the Sustainable City of Tomorrow

Foundation Mathematics

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning Career

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Applied Mathematics with F#

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Axiomatic Set Theory

An Introduction

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Tools for High Performance Computing 2024

Proceedings of the 15th International Workshop on Parallel Tools for High Performance Computing

Federated Learning for Privacy-Preserving AI Systems

Theory, Applications, and Implementation

Information and Communications Technologies

Third International Libyan Conference, ILCICT 2025 Tripoli, Libya, September 9-11, 2025 Proceedings

Sampling, Frames, and Harmonic Analysis

A Mathematical Celebration of Akram Aldroubi's 65th Birthday

Numerical Software Libraries and their Impact on Scientific Applications

ICIAM2023 Springer Series

Robot Evolution

From Evolutionary Robotics to Physical AI

Information Technologies and Mathematical Modelling. Queueing Theory and Related Fields

24th International Conference, ITMM 2025, Krasnoyarsk, Russia, October 20-25, 2025, Revised Selected Papers

This product is categorised by