Liste de favoris
La liste de favoris est vide.
Le panier est vide.
Envoi gratuit possible
Envoi gratuit possible
Veuillez patienter - l'impression de la page est en cours de préparation.
La boîte de dialogue d'impression s'ouvre dès que la page a été entièrement chargée.
Si l'aperçu avant impression est incomplet, veuillez le fermer et sélectionner "Imprimer à nouveau".

On a Method of Multiprogramming

Livre numériquePDFLivres électroniques
Classement des ventes 1568dansProgrammation (eBook)
CHF177.00

Description

Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.

Détails

Autres ISBN/GTIN9781475731262
Type de produitLivre numérique
ReliureLivres électroniques
FormatPDF
Indications sur le formatfiligrane
Date de parution29.06.2013
Edition1999
SérieMonographs in Computer Science
Pages370 pages
LangueAnglais
IllustrationsXX, 370 p.
Plus de détails

Série

Evaluations

Auteur

Plus de produits de Feijen, W. H. J.

Recommandations

Recherches récentes