[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

Formal Methods: Applications and Technology

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods: Applications and Technology Lubos Brim
Code Libristo: 01568175
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, février 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... 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

VENTE
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Livre relié
common.buy 9.53 €
Eye of the Wolf Daniel Pennac / Livre de poche
common.buy 8.77 €
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Livre de poche
common.buy 70.96 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Livre relié
common.buy 21.40 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Livre de poche
common.buy 56.83 €
Ontologie und Dialektik Theodor W. Adorno / Livre de poche
common.buy 23.55 €
Blut und Feuer Michael Gratzke / Livre de poche
common.buy 31.90 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Livre de poche
common.buy 19.21 €
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Livre de poche
common.buy 5.98 €
BIENTÔT NOUVEAUTÉ
Unbekanntes München Karl Häusler / Livre relié
common.buy 18.09 €
Flussschiffbau Wilhelm Teubert / Livre de poche
common.buy 104.90 €
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Livre de poche
common.buy 19.21 €
Marked Point Processes on the Real Line Andreas Brandt / Livre relié
common.buy 302.71 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Livre relié
common.buy 1 430.73 €
Less Than Zero Stuart J. Murphy / Livre de poche
common.buy 6.52 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Livre de poche
common.buy 82.09 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

À propos du livre

Nom complet Formal Methods: Applications and Technology
Auteur Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 366
EAN 9783540709510
ISBN 3540709517
Code Libristo 01568175
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 575
Dimensions 155 x 235 x 22

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
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 > Analyse et conception de systèmes
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