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

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Bernd Fischer
Code Libristo: 09486332
Éditeurs Springer International Publishing AG, août 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Two Indian Children of Long Ago Frances Lilian Taylor / Livre Livre de poche
common.buy 16.09 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Livre Livre de poche
common.buy 25.19 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Livre Livre de poche
common.buy 85.59 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Livre Livre relié
common.buy 6.69 €
COLOREA TU UNICORNIO / Livre Livre
common.buy 8.69 €
Alta Via delle Dolomiti n. 1. Il più classico dei grandi itinerari dolomitici. Lago di Braies - Belluno / Livre Livre de poche
common.buy 26.29 €
451° по Фаренгейту Рэй Брэдбери / Livre Livre relié
common.buy 14.69 €
Servalo Raine Hawthorn / Livre Livre de poche
common.buy 11.79 €
Jóvenes empresarios: apoyo y formación / Livre Livre de poche
common.buy 56.79 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 23.99 €
Nech se vést láskou Sri Chinmoy / Articles imprimés Cartes
common.buy 4.29 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Livre Livre de poche
common.buy 15.95 €
Krankheiten des Magens Max Einhorn / Livre Livre de poche
common.buy 26.90 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Livre Livre de poche
common.buy 67.49 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Livre Livre relié
common.buy 86.49 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Livre Livre de poche
common.buy 12.90 €
Jardin Des Cultures Guyanaises Buland-F / Livre Livre de poche
common.buy 66.99 €
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Livre Livre de poche
common.buy 10.89 €
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Livre Livre de poche
common.buy 46.59 €
Al culmine della disperazione Emil M. Cioran / Livre Livre de poche
common.buy 20.19 €
TEHG - ZuV 2020 Lars Hoffmann / Livre Livre
common.buy 72.99 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Livre Livre de poche
common.buy 21.29 €
Top Bientôt
Espacio Joven 360: Level B1.2: Exercises Book Equipo Espacio / Livre Livre de poche
common.buy 11.79 €
Teczka ofertowa 9002 A4 20 koszulek / Livre binding.
common.buy 4.09 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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 Model Checking Software
Auteur Bernd Fischer, Jaco Geldenhuys
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 319
EAN 9783319234038
ISBN 331923403X
Code Libristo 09486332
Éditeurs Springer International Publishing AG
Poids 5153
Dimensions 155 x 235 x 20

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Livre Livre relié
common.buy 700.79 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Livre Livre relié
common.buy 76.29 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Livre Livre de poche
common.buy 73.39 €
Overlord, Vol. 1 (manga) Kugane Maruyama / Livre Livre de poche
common.buy 11.79 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Livre Livre de poche
common.buy 32.99 €
Protecting Maggie / Livre Livre de poche
common.buy 16.49 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Livre Livre de poche
common.buy 21.09 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Livre Livre de poche
common.buy 12.59 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Livre Livre de poche
common.buy 12.19 €
The New Century Standard Letter-Writer Alfred B. Chambers / Livre Livre de poche
common.buy 37.29 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / Livre numérique Adobe ePub DRM
common.buy 2.09 €
Branding Japanese Food Katarzyna J. Cwiertka / Livre Livre relié
common.buy 92.79 €
Superpower Involvement In The Middle East Paul Marantz / Livre numérique Adobe ePub DRM
common.buy 56.69 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Livre Livre de poche
common.buy 99.39 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Livre Livre relié
common.buy 46.49 €
Sim Chung and the River Dragon-A Folktale from Korea Ellen Schecter / Livre Livre de poche
common.buy 10.39 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Livre Livre de poche
common.buy 16.39 €
Delicious Rob Dunn / Livre Livre de poche
common.buy 18.09 €
Psychology Ryan Gold / Livre Livre de poche
common.buy 14.79 €
Sight Words for Kids Learning to Write and Read Bucur Kids / Livre Livre de poche
common.buy 7.69 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Livre Livre de poche
common.buy 11.19 €
Crossing the Himalayas Ghulam Ali / Livre Livre relié
common.buy 139.39 €
Psychotherapy of the Disorders of the Self M. D. James F. Masterson / Livre Livre de poche
common.buy 72.29 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Livre Livre de poche
common.buy 60.49 €

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 ?