Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Vérifier l'état de la commande

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

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

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livraison gratuite à partir de 69.99 euros.

Livre Model Checking Software Ezio Bartocci

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

C. R. Ramakrishnan

Langue

Anglais

Livre Livre de poche

Livre Model Checking Software Ezio Bartocci

Code Libristo: 01663942

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2013

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Description détaillée

Code Libristo: 01663942

?

points

125 b

51.70 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Kudy do pohody Karel Nešpor

/

CD Audio

6.16 €

Lieblingsschlager

/

CD Audio

16.89 €

Ste. Roche Henriette Von Paalzow

/

Livre de poche

17.90 €

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

/

Livre de poche

6.16 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

/

Livre de poche

53.12 €

Hisskillen i Lissabon Cupido

/

MP3

3.23 €

Puzzle 3x48 Peppa Pig

/

Puzzle

6.57 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Actrice & Polyglotte

EWA KASP pro

Regarder la vidéo

Ewa Kasp

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 Ezio Bartocci, C. R. Ramakrishnan

Langue

Anglais

Reliure Livre - Livre de poche

Date de parution 2013

Nombre de pages 377

EAN 9783642391750

ISBN 3642391753

Code Libristo 01663942

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Poids 593

Dimensions 155 x 235 x 22

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

Organometallic Oxidation Catalysis Franc Meyer

/

Livre de poche

205.83 €

Modern Syntheses of Cobalt (III) Complexes M. Shibata

/

Livre de poche

51.70 €

Monteverdi: Vespers (1610) John (University of Birmingham) Whenham

/

Livre relié

94.71 €

Execution Gap: When Law Exists But Rights Don't Attach Thomas Hornig

/

Adobe ePub DRM

9.91 €

Living the Beatles Legend Kenneth Womack

/

Livre de poche

13.96 €

Memorable Edinburgh Houses Wilmot Harrison

/

Livre relié

30.75 €

How to Create Manga: Drawing Clothing and Accessories Studio Hard Deluxe Inc.

/

Adobe ePub DRM

20.94 €

Security, Defense Discourse and Identity in NATO and Europe Falk Ostermann

/

Adobe ePub DRM

64.05 €

Dingbat: Adventures in Trickle Valley Jennifer White

/

Livre de poche

9.40 €

Pieter Vermeersch: Variations Dieter Roelstraete

/

Livre de poche

39.15 €

Soothing W. HANS MILLER

/

Livre relié

31.26 €

52 Steps to Success Anthony Pan

/

Livre de poche

30.15 €

Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D

/

Livre de poche

30.96 €

Dodging Shells W L Bertsch

/

Livre de poche

12.13 €

Looking for Love with All the Wrong Husbands Tee Fuller

/

Livre relié

39.15 €

Finding Hope Dan Rogers

/

Livre de poche

15.78 €

Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith

/

Livre de poche

14.56 €

Making Men into Fathers Barbara Hobson

/

Livre relié

78.82 €

Greek Islands Korina Miller

/

Livre de poche

30.75 €

National Federation of Women Workers, 1906-1921 Cathy Hunt

/

Livre relié

114.55 €

High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan

/

Livre de poche

114.55 €

Disobeying the Security Council Antonios Tzanakopoulos

/

Livre de poche

58.08 €

Extreme-occident Jean-Philippe Mathy

/

Livre relié

113.94 €

Cambridge English: First Masterclass: Teacher's Pack collegium

/

Livre de poche

32.47 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?