Foundations of Real-Time Computing: Formal Specifications and Methods -
- Format: Relié Voir le descriptif
30,00 €
Occasion · Comme Neuf
Ou 7,50 € /mois
Disponible en retrait gratuit chez le vendeur (Romillé) (35)
- Livraison : 3,49 €
Particulier
Vendeur favori
4,9/5 sur 84 ventes
N° enregistrement: A/806 en haut de 3ème de couverture. Etat impeccable
Nos autres offres
-
238,31 €
Produit Neuf
Ou 59,58 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 31 août
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 Foundations Of Real - Time Computing: Formal Specifications And Methods Format Relié - Livre Informatique
0 avis sur Foundations Of Real - Time Computing: Formal Specifications And Methods Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Frisch Gewagt ! L'allemand En Classe De Troisième
Occasion dès 15,00 €
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
Magical Imagination
Neuf dès 37,35 €
-
Ansel Adams' 400 Photographs
3 avis
Neuf dès 87,80 €
Occasion dès 24,00 €
-
Rarities
Neuf dès 56,81 €
Occasion dès 20,00 €
-
Manuel De Version Italienne - Licence, Master, Concours
Neuf dès 29,00 €
Occasion dès 33,99 €
-
Record Of Lodoss War Illustrations
4 avis
Occasion dès 20,00 €
-
Hypnose Leviers De Changement: Comment Les Détecter Et Les Activer
3 avis
Occasion dès 18,90 €
-
Dc Finest: Batman: Red Skies
Neuf dès 42,44 €
Occasion dès 32,28 €
-
Petits Traites D'histoire Naturelle
Occasion dès 30,90 €
-
Essential Grammar In Use - Grammaire De Base De La Langue Anglaise
1 avis
Occasion dès 21,24 €
-
A Cultural Guide Anglais - Précis Culturel Des Pays Du Monde Anglophone
1 avis
Neuf dès 20,90 €
Occasion dès 18,18 €
-
The Literary Guide - A Guide To The Literature Of The United Kingdom, The United States And The Commonwealth 1000-2000
Neuf dès 20,90 €
Occasion dès 19,07 €
-
Nick Cave
Neuf dès 22,76 €
-
Gandhi: The Years That Changed The World, 1914-1948
Neuf dès 31,53 €
Occasion dès 49,21 €
-
Dark Ecology
Neuf dès 29,82 €
-
Mon Premier Dictionnaire D'anglais Garfield - 2000 Mots Et Expressions
2 avis
Occasion dès 15,21 €
-
Gerald Durrell
Neuf dès 29,40 €
-
Essential Grammar In Use - Une Grammaire De Référence Et De Pratique Destinée Aux Étudiants De Niveau Élémentaire
7 avis
Neuf dès 72,30 €
Occasion dès 32,94 €
-
Anglais - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
6 avis
Neuf dès 75,00 €
Occasion dès 30,62 €
Produits similaires
Présentation Foundations Of Real - Time Computing: Formal Specifications And Methods Format Relié
- Livre Informatique
Résumé :
This volume contains a selection of papers that focus on the state-of? the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real? time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End? use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications....
Sommaire:
1 Towards Mechanization of Real-Time System Design.- 2 Derivation of Sequential, Real-Time, Process Control Programs.- 3 Mathematical Models of Real-Time Scheduling.- 4 Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation.- 5 Theory of Real-Time Systems - Project Survey.- 6 HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems.- 7 Concepts and Models for Real-Time Concurrency.- 8 Automated Analysis of Concurrent and Real-Time Software.- 9 Towards a Timing Semantics for Programming Languages.- 10 FLEX: A Language for Programming Flexible Real-Time Systems.- 11 Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier....
Détails de conformité du produit
Personne responsable dans l'UE