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

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Dragan Bosnacki
Code Libristo: 01564229
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... 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é

La Cascade Féerique, Audio-CD Michel Pépé / Audio CD Audio
common.buy 17.39 €
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Livre Livre de poche
common.buy 9.70 €
Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Articles imprimés Partitions
common.buy 20.12 €
Drum Hikatsu Tomomi / Livre Livre de poche
common.buy 40.86 €
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Livre Livre de poche
common.buy 35.70 €
BilMoG und Interne Revision Alexander Hofem / Livre Livre de poche
common.buy 29.12 €
Erlebnis und Geschichte Edgar Feuchtwanger / Livre Livre de poche
common.buy 32.56 €
Nouveauté
Der gute Staat / Livre Livre de poche
common.buy 9.90 €

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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, Stefan Leue
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 262
EAN 9783540434771
ISBN 3540434771
Code Libristo 01564229
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 472
Dimensions 155 x 235 x 16

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 > 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 > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
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

Performance of Pharmaceutical Companies in India Mainak Mazumdar / Livre Livre relié
common.buy 102.97 €
Strangers In Death J. D. Robb / Livre Livre de poche
common.buy 11.83 €
Bientôt Nouveauté
These Shattered Spires Cassidy Ellis Salter / Livre Livre de poche
common.buy 9.70 €
Casualties Of Community Disorder Deborah Baskin / Livre numérique Adobe ePub DRM
common.buy 77.38 €
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Livre Livre de poche
common.buy 17.19 €
Picross Hanjie Griddlers Nonograms book Djape / Livre Livre de poche
common.buy 12.13 €
Color Copy Coloring Book - Learn to Color - The Easy Way Coloring Activity Books / Livre Livre de poche
common.buy 9.50 €
Bientôt
Dispossessed Ursula K. Le Guin / Livre Livre de poche
common.buy 10.00 €
Indictment of the American Clergy THOMAS WADE / Livre Livre de poche
common.buy 15.26 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Livre Livre de poche
common.buy 12.63 €
Lilith: the Legend of the First Woman Ada Langworthy Collier / Livre Livre de poche
common.buy 19.41 €
The Queen's Gamble Barbara Kyle / Livre Livre de poche
common.buy 18.00 €
User's Guide to Propolis, Royal Jelly, Honey, and Bee Pollen C LEIGH BROADHURST / Livre Livre relié
common.buy 16.48 €
French & Indian War Novels Joseph A. Altsheler / Livre Livre relié
common.buy 42.98 €
Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Livre Livre de poche
common.buy 29.12 €
Shakespeare and Race Imtiaz Habib / Livre Livre relié
common.buy 71.61 €
Modern Monetary Theory M.L. Burstein / Livre Livre de poche
common.buy 114.50 €
Critical Dictionary of the French Revolution Francois Furet / Livre Livre relié
common.buy 226.18 €
Secret Garden (Penguin Classics Deluxe Edition) Frances Hodgson Burnett / Livre Livre
common.buy 14.15 €
For Derrida J. Hillis Miller / Livre Livre de poche
common.buy 55.83 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Livre Livre relié
common.buy 137.46 €
Power to the Patient Atlas / Livre Livre de poche
common.buy 13.24 €
Social Structure Charles Crothers / Livre Livre relié
common.buy 234.98 €
Esther West. a Story. with Twenty-Four Illustrations. Isa Craig / Livre Livre de poche
common.buy 25.89 €

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 ?