[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 Verification of Object-Oriented Software

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Verification of Object-Oriented Software Bernhard Beckert
Code Libristo: 01661642
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Description détaillée
? points 146 b
61.97 € 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

Geolocation Techniques Camillo Gentile / Livre relié
common.buy 242.55 €
Fidus Dirk Erkelenz / Livre de poche
common.buy 21.41 €
Five Tales for the Theatre Carlo Gazzi / Livre relié
common.buy 145.78 €
Vom Weg der Liebe Eugen Drewermann / Livre relié
common.buy 26.65 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Livre de poche
common.buy 80.16 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Livre de poche
common.buy 21.83 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Livre de poche
common.buy 16.15 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Livre de poche
common.buy 49.98 €
Feminist Economics and Public Policy / Livre relié
common.buy 209.15 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

À propos du livre

Nom complet Formal Verification of Object-Oriented Software
Auteur Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 251
EAN 9783642317613
ISBN 3642317618
Code Libristo 01661642
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 409
Dimensions 155 x 235 x 15

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel > Test et vérification de logiciel
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 > 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 > 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