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

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Michael Butler
Code Libristo: 01564333
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Description détaillée
? points 125 b
51.49 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Divan Ahmed Akir Paa / Livre Livre de poche
common.buy 19.24 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Livre Livre de poche
common.buy 52.90 €
Rumanische Marchen Mite Kremnitz / Livre Livre de poche
common.buy 23.17 €
Ser Feliz Era Esto Eduardo Sacheri / Livre Livre de poche
common.buy 18.03 €
Özel Tüketim Vergisi Kanunu / Livre Livre de poche
common.buy 15.11 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Livre Livre de poche
common.buy 49.27 €
Apokalypse Adrienne von Speyr / Livre Livre relié
common.buy 39.19 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Livre Livre de poche
common.buy 61.06 €
Neocortext Vojtěch Němec / Livre Livre de poche
common.buy 7.55 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Livre Livre de poche
common.buy 29.62 €
Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Livre Livre relié
common.buy 108.84 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Livre Livre de poche
common.buy 18.33 €
Mein Gestern Manfred Jurgensen / Livre Livre de poche
common.buy 15.11 €
Wassergesetz vom 7. April 1913 Georg Wulff / Livre Livre relié
common.buy 158.22 €
LA PLAYA DE LOS AHOGADOS DOMINGO VILLAR / Livre Livre relié
common.buy 21.66 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Michael Butler, Luigia Petre, Kaisa Sere
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 401
EAN 9783540437031
ISBN 3540437037
Code Libristo 01564333
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1280
Dimensions 155 x 235 x 23

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Apprentissage par la machine
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

Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Livre Livre de poche
common.buy 8.25 €
Biotechnology Fundamentals Khan / Livre Livre de poche
common.buy 95.13 €
Abordable
Spawn: Origins Deluxe Edition 3 Brian Holguin / Livre Livre relié
common.buy 54.61 €
Top
Aesop's Fables Santore Charles / Livre Livre relié
common.buy 13.90 €
Sufism Alexander Knysh / Livre Livre de poche
common.buy 31.74 €
Frankissstein Jeanette Winterson / Livre Livre de poche
common.buy 13.49 €
Melchizedek: Unmasked Baal Kadmon / Livre Livre de poche
common.buy 14.81 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Livre Livre de poche
common.buy 56.03 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Livre Livre de poche
common.buy 33.45 €
The Critical Care Pocket Guide Sergio Niosi / Livre Livre de poche
common.buy 10.57 €
Konohana Kitan, Volume 2 Sakuya Amano / Livre numérique Adobe ePub DRM
common.buy 7.85 €
Destroyer of the gods Larry W. Hurtado / Livre numérique Adobe ePub DRM
common.buy 35.47 €
Great Library Events Mary Grace Flaherty / Livre numérique Adobe ePub DRM
common.buy 40.81 €
Top
The Last Song of Penelope NORTH CLAIRE / Livre Livre de poche
common.buy 15.71 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Livre Livre de poche
common.buy 12.08 €
Pandora's Box Trilogy Adam Teachout / Livre Livre de poche
common.buy 19.24 €
Crazy Sexy Diet Kris Carr / Livre Livre de poche
common.buy 22.77 €
Kgakantsho e Bohlale ya Leobu (Sepedi) Monika Hollemann / Livre Livre de poche
common.buy 5.63 €
Essential David Bohm Lee Nichol / Livre Livre de poche
common.buy 59.45 €
Dark Magic Christine Feehan / Livre Livre de poche
common.buy 12.59 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Livre Livre relié
common.buy 126.98 €
Collected Short Stories Aldous Huxley / Livre Livre de poche
common.buy 22.06 €

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 ?