• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Specification and Analysis of Concurrent Systems

The Cosy Approach

Ryszard Janicki, Peter E Lauer
€ 168,45
+ 336 punten
Levering 1 à 2 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
480
Taal:
Engels
Reeks:

Eigenschappen

Productcode (EAN):
9783642773396
Verschijningsdatum:
29/12/2011
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
170 mm x 244 mm
Gewicht:
789 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 336 punten op je klantenkaart van Standaard Boekhandel
CADEAU

Suske en Wiske & Jommeke trakteren

Koop hun avonturen nu voor slechts € 5!
CADEAU
actie strips
CADEAU

Een goed verhaal is geld waard

Krijg nu een € 4 voucher bij elke aankoop vanaf € 40
CADEAU
Terugkeeractie
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-bookactie korting
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.