Get Free Shipping on orders over $89
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

The Essence of Software Engineering - Cersei Page
Fundamentals of Software Architecture : A Modern Engineering Approach - Mark Richards
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
The Art of Spyro : Reignited Trilogy - Micky Neilson

RRP $75.00

$55.75

26%
OFF