•  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

Iteration Theories

The Equational Logic of Iterative Processes

Stephen L Bloom, Zoltan Esik
147,95 €
+ 295 points
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

This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
630
Langue:
Anglais
Collection :

Caractéristiques

EAN:
9783642780363
Date de parution :
16-12-11
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
898 g
Librairie Club

Seulement chez Librairie Club

+ 295 points sur votre carte client de Librairie Club
INSPIRATION

Idées cadeaux pour la fin d'année

Dans notre sélection vous trouverez le cadeau pour faire briller les yeux de vos proches.
INSPIRATION
Fin d'année 2025
Standaard Boekhandel

Les avis

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