[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Integrated Formal Methods

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Einar Broch Johnsen
Code Libristo: 01663776
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

BIENTÔT
Crimson Spell. Bd.5 Ayano Yamane / Livre de poche
common.buy 7.44 €
Fall From India Place Samantha Young / Livre de poche
common.buy 22.36 €
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Livre relié
common.buy 117.69 €
Applications of Chlorophyll Fluorescene H.K. Lichtenthaler / Livre relié
common.buy 172.65 €
Marriage Markets Naomi Cahn / Livre de poche
common.buy 29.96 €
Griechische Metallpanzer Arnold Hagemann / Livre de poche
common.buy 49.55 €
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Livre de poche
common.buy 45.92 €
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Feuille
common.buy 9.62 €
Space groups (156) P3m1-(148) R-3 / Livre relié
common.buy 590.01 €
Progressive Development Arie S. Issar / Livre de poche
common.buy 134.22 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

À propos du livre

Nom complet Integrated Formal Methods
Auteur Einar Broch Johnsen, Luigia Petre
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 443
EAN 9783642386121
ISBN 3642386121
Code Libristo 01663776
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 700
Dimensions 155 x 235 x 26

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
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

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