- 5 Résultats
prix le plus bas: € 87,95, prix le plus élevé: € 162,23, prix moyen: € 132,88
1
Concurrency Verification - de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich
Commander
sur Hugendubel.de
€ 127,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich:

Concurrency Verification - Livres de poche

ISBN: 0521169321

Concurrency Verification ab 127.49 € als Taschenbuch: Introduction to Compositional and Non-Compositional Methods. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Cambridge Univer… Plus…

Nr. 12251258. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
2
Concurrency Verification - de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich
Commander
sur Hugendubel.de
€ 124,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich:

Concurrency Verification - Livres de poche

ISBN: 0521169321

Concurrency Verification ab 124.49 € als Taschenbuch: Introduction to Compositional and Non-Compositional Methods. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Cambridge Univer… Plus…

Nr. 12251258. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
3
Concurrency Verification Introduction to Compositional and Non-Compositional Methods - Willem-Paul, de Roever; Frank, de Boer; Ulrich, Hanneman
Commander
sur Achtung-Buecher.de
€ 162,23
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Willem-Paul, de Roever; Frank, de Boer; Ulrich, Hanneman:
Concurrency Verification Introduction to Compositional and Non-Compositional Methods - nouveau livre

2010

ISBN: 0521169321

Kartoniert / Broschiert COMPUTERS / Programming Languages / General, mit Schutzumschlag 11, [PU:Cambridge University Press]

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
Concurrency Verification Introduction to Compositional and Non-Compositional Methods - Willem-Paul, de Roever; Frank, de Boer; Ulrich, Hanneman
Commander
sur Achtung-Buecher.de
€ 162,23
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Willem-Paul, de Roever; Frank, de Boer; Ulrich, Hanneman:
Concurrency Verification Introduction to Compositional and Non-Compositional Methods - nouveau livre

2010, ISBN: 0521169321

Kartoniert / Broschiert COMPUTERS / Programming Languages / General, met couverture 11, [PU:Cambridge University Press]

Frais d'envoiGeen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
5
Concurrency Verification - Willem-Paul de Roever; Frank De Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech
Commander
sur lehmanns.de
€ 87,95
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Willem-Paul de Roever; Frank De Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech:
Concurrency Verification - Livres de poche

2012, ISBN: 9780521169325

Introduction to Compositional and Non-compositional Methods, Buch, Softcover, [PU: Cambridge University Press], Cambridge University Press, 2012

Frais d'envoiVersand in 15-20 Tagen. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Concurrency Verification
Auteur:
Titre:
ISBN:

9780521169325


Advanced textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Informations détaillées sur le livre - Concurrency Verification


EAN (ISBN-13): 9780521169325
ISBN (ISBN-10): 0521169321
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Cambridge University Press
800 Pages
Langue: eng/Englisch

Livre dans la base de données depuis 2010-10-30T13:01:44+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-11-03T15:04:08+01:00 (Paris)
ISBN/EAN: 9780521169325

ISBN - Autres types d'écriture:
0-521-16932-1, 978-0-521-16932-5
Autres types d'écriture et termes associés:
Auteur du livre: röver, zwiers, frank paul, paul ulrich, böer, hanneman, manning stampdawkins, awkins, dawkins, job, roever, han boer, wille ulrich, yassine, willem
Titre du livre: composition non composition, concurrency, introduction animal behavior, introduction animal behaviour

< pour archiver...