From Programs to Systems - The Systems Perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

By: Saddek Bensalem (Editor), Yassine Lakhnech (Editor), Axel Legay (Editor)

Write A Review

Paperback | 11 March 2014

At a Glance

Paperback
292 Pages

Dimensions(cm)
23.37 x 15.49 x 1.55

Paperback

$79.99

or 4 interest-free payments of $20.00 with

or

Ships in 7 to 10 business days

Model-Driven Information Flow Security for Component-Based Systems.- Context-Bounded Analysis of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and Verifying Component Ensembles.- Parametric and Quantitative Extensions of Modal Transition Systems.- Specification Theories for Probabilistic and Real-Time Systems.- Compositional Branching-Time Measurements.- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories for Communication-Safe Component Systems.- Constructive Collisions.- Let's Get Physical: Computer Science Meets Systems.- What Can be Computed in a Distributed System.- Toward a System Design Science.- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.- Feedback in Synchronous Relational Interfaces.- Reasoning about Network Topologies in Space.

Shipping

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

Orders over $79.00 qualify for free shipping.

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.