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

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Eerke A. Boiten
Code Libristo: 01559229
Éditeurs Springer, Berlin, novembre 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... 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é

Rettungswege mit Konzept Josef Mayr / Livre Livre de poche
common.buy 109.00 €
Telemedizin Karolina Budych / Livre numérique Adobe ePub DRM
common.buy 29.79 €
Hitlers Rache Friedrich-Wilhelm von Hase / Livre numérique Adobe ePub DRM
common.buy 11.39 €
Lukittu Unkuri / Livre audio MP3
common.buy 9.99 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Livre Livre de poche
common.buy 18.29 €
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Livre Livre de poche
common.buy 27.19 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio CD Audio
common.buy 19.59 €
200 MOTELS (2 CD) Frank Zappa / Audio CD Audio
common.buy 22.99 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Livre Livre de poche
common.buy 53.39 €
Prípad Caravaggio Daniel Silva / Livre Livre relié
common.buy 15.39 €
Miraculous-X-mas Box-Hörspiele / Audio CD Audio
common.buy 15.69 €
Simulieren Und Entscheiden Michael Resch / Livre Livre de poche
common.buy 55.29 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Livre Livre de poche
common.buy 29.49 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Livre Livre relié
common.buy 9.89 €
Streichquartett Nr. 1 Isang Yun / Livre Feuille
common.buy 67.59 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Livre Livre de poche
common.buy 64.39 €
Totschlager Emil (Ü: Franz Blei) Zola / Livre Livre de poche
common.buy 19.90 €
Psychiatrie Wolfgang Frank / Livre Livre de poche
common.buy 55.09 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Integrated Formal Methods
Auteur Eerke A. Boiten, John Derrick, Graeme Smith
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2004
Nombre de pages 548
EAN 9783540213772
ISBN 3540213775
Code Libristo 01559229
Éditeurs Springer, Berlin
Poids 820
Dimensions 156 x 234 x 28

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

Memories That Smell like Gasoline David Wojnarowicz / Livre numérique Adobe ePub DRM
common.buy 17.99 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Livre Livre de poche
common.buy 15.19 €
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Livre Livre de poche
common.buy 16.59 €
Underestimated HENRY D SOKOLSKI / Livre Livre de poche
common.buy 19.79 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Livre Livre de poche
common.buy 29.49 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Livre Livre relié
common.buy 200.09 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Livre Livre de poche
common.buy 83.79 €
Welsh Calendar Cookbook Gilli Davies / Livre Livre de poche
common.buy 10.09 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Livre Livre relié
common.buy 224.29 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Livre Livre de poche
common.buy 55.79 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Livre Livre relié
common.buy 349.89 €
Anatomy of High Performing Teams Marilyn Laiken / Livre Livre de poche
common.buy 47.99 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Livre Livre de poche
common.buy 11.99 €
New York Yankees Matt Christopher / Livre Livre de poche
common.buy 10.39 €
Color Atlas of Thyroid Surgery Youn / Livre Livre relié
common.buy 136.49 €
Terror in Ireland David Fitzpatrick / Livre Livre de poche
common.buy 20.39 €
Replacement of Renal Function by Dialysis C. Jacobs / Livre Livre relié
common.buy 114.19 €
Coastal Motor Boats Martin Kelly / Livre Livre relié
common.buy 44.39 €

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 ?