En raison d'une grève chez bpost, des retards de livraison peuvent survenir. Besoin de quelque chose en urgence ? Optez pour un retrait en magasin ou rendez-vous dans une Librairie Club à proximité.
  •  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
En raison d'une grève chez bpost, des retards de livraison peuvent survenir. Besoin de quelque chose en urgence ? Optez pour un retrait en magasin ou rendez-vous dans une Librairie Club à proximité.
  •  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous

Software Engineering 2

Specification of Systems and Languages

Dines Bjørner
53,45 €
+ 106 points
Format
Livraison sous 1 à 4 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. The book presents principles and techniques for developing the basis for sound, efficient interpreter and compiler development of functional, imperative, modular and parallel programming languages.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
780
Langue:
Anglais
Collection :

Caractéristiques

EAN:
9783540211501
Date de parution :
22-02-06
Format:
Livre relié
Format numérique:
Genaaid
Dimensions :
165 mm x 240 mm
Poids :
1247 g
Librairie Club

Seulement chez Librairie Club

+ 106 points sur votre carte client de Librairie Club
Cadeau

Gagnez le double de points

sur nos best-sellers
Cadeau
Points doublés
Standaard Boekhandel

Les avis

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