From Programs to Systems - The Systems Perspective in Computing -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre80,87 €
Produit Neuf
Ou 20,22 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642548475_dbm
Nos autres offres
-
82,28 €
Produit Neuf
Ou 20,57 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 juillet
Voir le détail de l'annonce -
83,97 €
Produit Neuf
Ou 20,99 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 août
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.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Gilbert Portanier
Neuf dès 81,26 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Medieval Military Technology, Second Edition
Neuf dès 75,96 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
Il Cavaliere Inesistente
Occasion dès 43,82 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
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