•  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

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

  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
76,95 €
+ 153 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) :
Krzysztof R AptFrank S De BoerErnst-Rüdiger Olderog
Editeur:
Springer

Contenu

Nombre de pages :
502
Langue:
Anglais
Collection :
Texts in Computer Science

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