Wonder Club world wonders pyramid logo
×

Compositionality: The Significant Difference Book

Compositionality: The Significant Difference
Compositionality: The Significant Difference, This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso, Compositionality: The Significant Difference has a rating of 3 stars
   2 Ratings
X
Compositionality: The Significant Difference, This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso, Compositionality: The Significant Difference
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $127.70
Original Magazine
Physical Format

Sold Out

  • Compositionality: The Significant Difference
  • Written by author Willem-Paul de Roever
  • Published by Springer-Verlag New York, LLC, January 2008
  • This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso
  • This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso
Buy Digital  USD$127.70

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

The Need for Compositional Proof Systems: A Survey1
Alternating-Time Temporal Logic23
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation61
Compositional Reasoning in Model Checking81
Modeling Urgency in Timed Systems103
Compositional Refinement of Interactive Systems Modelled by Relations130
Toward Parametric Verification of Open Distributed Systems150
A Compositional Real-Time Semantics of STATEMATE Designs186
Deductive Verification of Modular Systems239
Compositional Verification of Real-Time Applications276
Compositional Proofs for Concurrent Objects301
An Overview of Compositional Translations327
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness350
Modular Model Checking381
Composition: A Way to Make Proofs Harder402
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages424
Compositional Reasoning Using Interval Temporal Logic and Tempura439
Decomposing Real-Time Specifications465
On the Combination of Synchronous Languages490
Compositional Verification of Randomized Distributed Algorithms515
Lazy Compositional Verification541
Compositional Reasoning Using the Assumption - Commitment Paradigm565
An Adequate First Order Interval Logic584
Compositional Transformational Design for Concurrent Programs609
Compositional Proof Methods for Concurrency: A Semantic Approach632
Author Index647


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Compositionality: The Significant Difference, This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso, Compositionality: The Significant Difference

X
WonderClub Home

This item is in your Collection

Compositionality: The Significant Difference, This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso, Compositionality: The Significant Difference

Compositionality: The Significant Difference

X
WonderClub Home

This Item is in Your Inventory

Compositionality: The Significant Difference, This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reaso, Compositionality: The Significant Difference

Compositionality: The Significant Difference

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: