Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique ModelEd, TestEd, TrustEd Joost-Pieter Katoen
Code Libristo: 41043390
Éditeurs Springer, octobre 2017
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Description détaillée
? points 155 b
63.29 € TVA incluse
En stock Immédiatement téléchargeable

Les clients ont également acheté

Datenmanagement Michael Ilg / Livre Livre de poche
common.buy 51.99 €
Monografia Leczycy (1898) Michal Rawicz-Witanowski / Livre Livre de poche
common.buy 27.89 €

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet ModelEd, TestEd, TrustEd
Auteur Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2017
EAN 9783319682709
Code Libristo 41043390
Éditeurs Springer

Catégories

Informatique et technologies de l’information > Applications graphiques et applications médias numériques > Graphisme 3D et modélisation
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?