[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

FM 2012: Formal Methods

Langue AnglaisAnglais
Livre Livre de poche
Livre FM 2012: Formal Methods Dimitra Giannakopoulou
Code Libristo: 01661952
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... 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

Dárek z pouti Luboš Kafka / Livre relié
common.buy 23.75 €
Whistleblowing at Work David Lewis / Livre de poche
common.buy 134.76 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Livre de poche
common.buy 51.33 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Livre de poche
common.buy 344.45 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Livre relié
common.buy 42.76 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Livre de poche
common.buy 15.95 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Livre relié
common.buy 60.36 €
Th Thorium Robert G. Behrens / Livre de poche
common.buy 730.99 €
Suburban Wonder Francis Tabouret / Livre de poche
common.buy 5.56 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Livre de poche
common.buy 62.18 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

À propos du livre

Nom complet FM 2012: Formal Methods
Auteur Dimitra Giannakopoulou, Dominique Mery
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 488
EAN 9783642327582
ISBN 3642327583
Code Libristo 01661952
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 765
Dimensions 155 x 235 x 28

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Interaction homme-machine > Conception de l’interface utilisateur et facilité d’utilisation
Informatique et technologies de l’information > Informatique > Interaction homme-machine > Architecture de l’information
Informatique et technologies de l’information > Matériel informatique > Maintenance / entretien et réparation
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

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