76,88 €
Produit Neuf
Ou 19,22 € /mois
- Livraison : 3,99 €
- Livré entre le 19 et le 26 septembre
Nos autres offres
-
83,97 €
Produit Neuf
Ou 20,99 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur From Programs To Systems - The Systems Perspective In Computing Format Broché - Livre Informatique
0 avis sur From Programs To Systems - The Systems Perspective In Computing Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
La Version Allemande Systématique
2 avis
Occasion dès 45,80 €
-
Harald Szeemann
Neuf dès 87,99 €
-
Complete Masterworks
3 avis
Neuf dès 41,22 €
-
Nouveau Testament Occitan & Rituel Cathare Xiiie Siècle, Transcription Yvan Roustit
Occasion dès 39,89 €
-
Co-Creative Science
Occasion dès 39,39 €
-
Terraform: Up And Running
Neuf dès 71,91 €
Occasion dès 39,18 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Hungry Planet
Occasion dès 39,98 €
-
The Penguin Book Of American Short Stories
1 avis
Occasion dès 41,61 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Quantum Mechanics
Occasion dès 65,00 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 58,88 €
-
Field Guide To The Mammals Of South-East Asia (2nd Edition)
Neuf dès 54,17 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
The Big Book Of B Movies
Occasion dès 96,20 €
-
Nick Cave & The Bad Seeds: An Art Book
1 avis
Neuf dès 41,66 €
-
Zetetic Astronomy - Earth Not A Globe! An Experimental Inquiry Into The True Figure Of The Earth
Neuf dès 42,96 €
Produits similaires
Présentation From Programs To Systems - The Systems Perspective In Computing Format Broché
- Livre Informatique
Résumé :
From Programs to Systems - The Systems Perspective in Computing workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.
Sommaire: 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.?
Détails de conformité du produit
Personne responsable dans l'UE