•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous
  1. Accueil
  2. Livres
  3. Savoirs
  4. Informatique
  5. Programmation
  6. Algorithmes
  7. Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog
Livre broché | Anglais | Texts in Computer Science
81,45 €
+ 162 points
Format
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
502
Langue:
Anglais
Collection :

Caractéristiques

EAN:
9781447125136
Date de parution :
14-03-12
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
730 g

Les avis