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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Dragan Bosnacki
Code Libristo: 02961433
Éditeurs Springer International Publishing AG, avril 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Description détaillée
? points 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Agility Kompakt Peter Hruschka / Livre Livre de poche
common.buy 22.24 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Livre Livre de poche
common.buy 10.31 €
Match Jones Bolt / Livre Livre relié
common.buy 29.02 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Livre Livre de poche
common.buy 13.24 €
Les Breves de Fin du Monde Noyé / Livre Livre de poche
common.buy 9.30 €
Destruidor - Parte Nove Sky Corgan / Livre numérique Adobe ePub DRM
common.buy 1.00 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Livre Livre de poche
common.buy 39.24 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Livre Livre de poche
common.buy 30.84 €
LEGO® City Joyeux Noël AMEET Studio / Livre Livre
common.buy 12.03 €
Postkarten-Set George Barbier George Barbier / Livre Livre de poche
common.buy 6.67 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Livre Livre de poche
common.buy 12.74 €
Legendes de Noel M G Lenotre / Livre Livre de poche
common.buy 18.50 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Livre Livre de poche
common.buy 6.16 €
Ajeduca 4. Escobar Domínguez / Livre Livre de poche
common.buy 13.34 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Livre Livre de poche
common.buy 32.66 €
CUARTO MOSQUETERO, EL Riccardo Freda / Livre Livre de poche
common.buy 11.93 €
Moutons Et Colons En Patagonie Fernando Coronato / Livre Livre de poche
common.buy 94.17 €
Ursprachlehre Friedrich Schmitthenner / Livre Livre relié
common.buy 103.07 €
Psychologische Typen Carl G. Jung / Livre Livre de poche
common.buy 59.67 €
François Truffaut Robert Ingram / Livre Livre relié
common.buy 14.86 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Model Checking Software
Auteur Dragan Bosnacki, Anton Wijs
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2016
Nombre de pages 245
EAN 9783319325811
ISBN 3319325817
Code Libristo 02961433
Éditeurs Springer International Publishing AG
Poids 4044
Dimensions 155 x 235 x 235

Catégories

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
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

Ceci pourrait également vous intéresser

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Livre Livre relié
common.buy 102.97 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Livre Livre de poche
common.buy 12.94 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Livre Livre de poche
common.buy 8.59 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Livre Livre de poche
common.buy 15.57 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Livre Livre de poche
common.buy 15.77 €
The Darkest King: William's Story Gena Showalter / Livre Livre de poche
common.buy 8.39 €
Shadow Lost D K Holmberg / Livre Livre de poche
common.buy 13.04 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Livre Livre relié
common.buy 89.72 €
Missouri Birds James Kavanagh / Livre Livre de poche
common.buy 9.70 €
The Architect's Apprentice Elif Shafak / Livre Livre de poche
common.buy 14.25 €
Modern Feminist Theory Jennifer Rich / Livre Livre de poche
common.buy 15.57 €
Alcoholism Ernest Holmes / Livre Livre de poche
common.buy 9.30 €
The Cheyenne Pool Lewis B Patten / Livre Livre relié
common.buy 39.34 €
Mediterranean Ecosystems G. Spezie / Livre Livre de poche
common.buy 205.74 €
Roman Catholic Modernists Confront the Great War C. Talar / Livre Livre relié
common.buy 58.46 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Livre Livre relié
common.buy 36.41 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Livre Livre de poche
common.buy 14.86 €
Bears Don't Read! Emma Chichester Clark / Livre Livre relié
common.buy 14.86 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Livre Livre relié
common.buy 132.20 €
Top Nouveauté
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Livre Livre relié
common.buy 37.01 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Livre Livre de poche
common.buy 102.97 €
Wiel Arets - Bas Princen John Bezold / Livre Livre relié
common.buy 93.56 €

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 ?