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.

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 125 b
51.93 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio CD Audio
common.buy 18.69 €
200 MOTELS (2 CD) Frank Zappa / Audio CD Audio
common.buy 11.68 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Livre Livre de poche
common.buy 17.57 €
Matematika 4 - 2. diel - Zošit pre učiteľa / Livre Livre de poche
common.buy 14.42 €
Hitlers Rache Friedrich-Wilhelm von Hase / Livre numérique Adobe ePub DRM
common.buy 10.97 €
Rettungswege mit Konzept Josef Mayr / Livre Livre de poche
common.buy 103.15 €
Telemedizin Karolina Budych / Livre numérique Adobe ePub DRM
common.buy 28.65 €
Lukittu Unkuri / Livre audio MP3
common.buy 9.65 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Livre Livre relié
common.buy 9.34 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Livre Livre de poche
common.buy 51.42 €
Prípad Caravaggio Daniel Silva / Livre Livre relié
common.buy 14.73 €
Miraculous-X-mas Box-Hörspiele / Audio CD Audio
common.buy 15.13 €
Simulieren Und Entscheiden Michael Resch / Livre Livre de poche
common.buy 53.35 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Livre Livre de poche
common.buy 28.45 €
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Livre Livre de poche
common.buy 32.92 €
Streichquartett Nr. 1 Isang Yun / Livre Feuille
common.buy 65.55 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Livre Livre de poche
common.buy 61.79 €
Lebensbeschreibungen Kaiser Ludwigs des Frommen Julius von Jasmund / Livre Livre de poche
common.buy 22.45 €
Totschlager Emil (Ü: Franz Blei) Zola / Livre Livre de poche
common.buy 17.98 €
Psychiatrie Wolfgang Frank / Livre Livre de poche
common.buy 53.25 €

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

AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Livre Livre de poche
common.buy 14.52 €
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Livre Livre de poche
common.buy 16.05 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Livre Livre relié
common.buy 194.53 €
Underestimated HENRY D SOKOLSKI / Livre Livre de poche
common.buy 19.00 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Livre Livre de poche
common.buy 28.45 €
His Heart's Queen Georgie Sheldon / Livre Livre de poche
common.buy 8.12 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Livre Livre de poche
common.buy 80.39 €
Welsh Calendar Cookbook Gilli Davies / Livre Livre de poche
common.buy 9.75 €
Top
Better Than the Movies Lynn Painter / Livre Livre de poche
common.buy 8.22 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Livre Livre relié
common.buy 240.78 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Livre Livre de poche
common.buy 54.16 €
Coastal Motor Boats Martin Kelly / Livre Livre relié
common.buy 42.27 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Livre Livre relié
common.buy 340.38 €
Memories That Smell like Gasoline David Wojnarowicz / Livre numérique Adobe ePub DRM
common.buy 17.37 €
Replacement of Renal Function by Dialysis C. Jacobs / Livre Livre relié
common.buy 440.30 €
Terror in Ireland David Fitzpatrick / Livre Livre de poche
common.buy 19.61 €
Color Atlas of Thyroid Surgery Youn / Livre Livre relié
common.buy 131.51 €
New York Yankees Matt Christopher / Livre Livre de poche
common.buy 9.95 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Livre Livre de poche
common.buy 11.68 €
Anatomy of High Performing Teams Marilyn Laiken / Livre Livre de poche
common.buy 46.54 €

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