Get Free Shipping on orders over $49
From Programs to Systems - The Systems Perspective in Computing : Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings - Saddek Bensalem

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)

Paperback | 11 March 2014

At a Glance

Paperback


$79.99

or 4 interest-free payments of $20.00 with

 or 

Ships in 5 to 7 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.

More in Software Engineering

Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
The Psychology of Software Teams - Cat Hicks
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang
Architectural Approach to Level Design : Second edition - Christopher W.  Totten