Mega Dose
 
 

Recently Viewed clear list


Original Essays | September 30, 2014

Brian Doyle: IMG The Rude Burl of Our Masks



One day when I was 12 years old and setting off on my newspaper route after school my mom said will you stop at the doctor's and pick up something... Continue »

spacer
Qualifying orders ship free.
$99.00
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
1 Remote Warehouse Personal Computers- General

More copies of this ISBN

This title in other editions

Other titles in the Lecture Notes in Computer Science / Programming and Software series:

Lecture Notes in Computer Science / Programming and Software #5382: Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007,

by

Lecture Notes in Computer Science / Programming and Software #5382: Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007,  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 the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

Product Details

ISBN:
9783540921875
Author:
De Boer, Frank S. (edt)
Publisher:
Springer
Other:
Boer, Frank S. de
Author:
Willem-Paul de Roever
Author:
Boer, Frank S. de
Author:
Bonsangue, Marcello M.
Author:
Graf, Susanne
Subject:
Miscellaneous Software
Subject:
Programming - Software Development
Subject:
Computer Science
Subject:
Software Development & Engineering - General
Subject:
General-General
Subject:
Software Engineering-General
Subject:
JML
Subject:
UML
Subject:
component systems
Subject:
Cost Analysis
Subject:
Distributed systems
Subject:
Embedded Systems
Subject:
Formal methods
Subject:
formal specification
Subject:
formal verification
Subject:
large scale software systems
Subject:
Mobile computing
Subject:
model checking
Subject:
object technology
Subject:
problem complexity
Subject:
Service-Oriented Architecture
Subject:
Software -- Development.
Subject:
Systems analysis.
Subject:
systems architecture
Subject:
systems design
Subject:
systems modeling
Subject:
Software engineering
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Logics and Meanings of Programs
Subject:
Operating systems
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Volume:
5382
Publication Date:
20081212
Binding:
TRADE PAPER
Language:
English
Pages:
323
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Programming and Software #5382: Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, New Trade Paper
0 stars - 0 reviews
$99.00 In Stock
Product details 323 pages Springer - English 9783540921875 Reviews:
spacer
spacer
  • back to top
Follow us on...




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 gifts — here at Powells.com.