•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

  1. Accueil
  2. Livres
  3. Savoirs
  4. Informatique
  5. Sciences informatiques
  6. Mathématiques
  7. Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Jim Davies
Livre relié | Anglais | Distinguished Dissertations in Computer Science | n° 6
201,95 €
+ 403 points
Format
Livraison 2 à 3 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Spécifications

Parties prenantes

Auteur(s) :
Jim Davies
Editeur:
Cambridge University Press

Contenu

Nombre de pages :
200
Langue:
Anglais
Collection :
Distinguished Dissertations in Computer Science
Tome:
n° 6

Caractéristiques

EAN:
9780521450553
Date de parution :
25-06-93
Format:
Livre relié
Format numérique:
Genaaid
Dimensions :
175 mm x 249 mm
Poids :
498 g
Librairie Club

Seulement chez Librairie Club

+ 403 points sur votre carte client de Librairie Club
CADEAU

Ticket de cinéma offert

à l'achat d'un Bongo à partir de 39 €
Profitez de cette offre
CADEAU
Ticket de cinéma offert
CADEAU

Uniquement dans nos magasins : livret recettes exclusif offert

à l'achat d'un livre de la sélection
Vers la sélection
CADEAU
Livret de recettes exclusif offert
CONCOURS

Uniquement dans nos magasins : gagnez un voyage à Prague

à l'achat du nouveau Dan Brown
Commander
CONCOURS
Gagnez un voyage à Prague
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.