•  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

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

Hartmut Ehrig, Bernd Mahr
Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 6
162,45 €
+ 324 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

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
321
Langue:
Anglais
Collection :
Tome:
n° 6

Caractéristiques

EAN:
9783642699641
Date de parution :
23-11-11
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
170 mm x 244 mm
Poids :
539 g
Librairie Club

Seulement chez Librairie Club

+ 324 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.