Specification and Proof in Real Time CSP - Davies, Jim
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre129,99 €
Produit Neuf
Ou 32,50 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 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.
- 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 Specification And Proof In Real Time Csp de Davies, Jim Format Relié - Livre Encyclopédies, Dictionnaires
0 avis sur Specification And Proof In Real Time Csp de Davies, Jim Format Relié - Livre Encyclopédies, Dictionnaires
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 98,92 €
-
Off The Record
Occasion dès 124,97 €
-
The Wine Trade In Medieval Europe 1000-1500
Neuf dès 79,17 €
-
Abandoned Places
Neuf dès 83,99 €
-
Indian Jewelry Making Volume 1
1 avis
Occasion dès 110,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
Confrontations - Confrontaties
Neuf dès 68,00 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 79,90 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
Produits similaires
Présentation Specification And Proof In Real Time Csp de Davies, Jim Format Relié
- Livre Encyclopédies, Dictionnaires
Résumé :
This book was first published in 1993. 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 behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system 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 14 structuring CSP descriptions of layered protocols is given....
Biographie:
1. The language of CSP...
Sommaire:
Prof.JimDaviesisProfessorofSoftwareEngineeringandthedirectorofthe Software Engineering Programme in the Department of Computer Science, University of Oxford. He is a Fellow of Kellogg College. His research interests include the development of automatic generation of systems from re-usable models of structure and functionality, and he is the Principal Investigator on CancerGrid, a consortium to develop open standards for clinical cancer informatics....
Détails de conformité du produit
Personne responsable dans l'UE