[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

25 Years of Model Checking

Langue AnglaisAnglais
Livre Livre de poche
Livre 25 Years of Model Checking Orna Grumberg
Code Libristo: 01567994
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2008
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Description détaillée
? points 113 b
47.62 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton / Blu-ray
common.buy 11.76 €
Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen / Feuille
common.buy 24.89 €
Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg / Livre relié
common.buy 84.56 €
2084 Robert A Kaiser / Livre de poche
common.buy 21.08 €
120 Great Orientalist Paintings CD-ROM and Book / Livre de poche
common.buy 20.43 €
4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule / Livre de poche
common.buy 8.03 €
TERRA Erdkunde 1. Ausgabe Hessen Gymnasium / Livre relié
common.buy 33.72 €
Camden Market - Ausgabe 2005 Otfried Börner / Livre relié
common.buy 34.20 €
.. Mikhail Alekseevich Venevitinov / Livre de poche
common.buy 24.29 €
Zebra 2 Sonja Kargl / Feuille
common.buy 13.65 €
classical dictionary of the vulgar tongue. The second edition, corrected and enlarged. Francis Grose / Livre de poche
common.buy 33.92 €

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

À propos du livre

Nom complet 25 Years of Model Checking
Auteur Orna Grumberg, Helmut Veith
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 234
EAN 9783540698494
ISBN 3540698493
Code Libristo 01567994
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 370
Dimensions 156 x 235 x 15

Catégories

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 > Compilateurs et interpréteurs
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
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Technologies de l’information : questions générales
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