Specification and Analysis of Concurrent Systems | Ryszard Janicki, Peter E Lauer | Mathématiques | 9783642773396 | Librairie Club

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

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

168,45 €

+ 336 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 COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.

Spécifications

Parties prenantes

Auteur(s) :

Editeur:

Contenu

Nombre de pages :: 480

Langue:: Anglais

Collection :

Caractéristiques

EAN:: 9783642773396

Date de parution :: 29-12-11

Format:: Livre broché

Format numérique:: Trade paperback (VS)

Dimensions :: 170 mm x 244 mm

Poids :: 789 g

Seulement chez Librairie Club

+ 336 points sur votre carte client de Librairie Club

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

RÉDUCTION

sur une sélection de papeterie

RÉDUCTION

Standaard Boekhandel

Les avis

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