[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: 01297498
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Description détaillée
? points 163 b
69.14 € včetně DPH
Stockage externe Expédition sous 13-18 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Starcraft II: Flashpoint Christie Golden / Livre de poche
common.buy 10.05 €
A Good Turn of Phrase Idiom Practice - Student's book Virginia Evans / Livre de poche
common.buy 17.87 €
Vyjdi, i vyšel Štěpán Hájek / binding.
common.buy 3.52 €
Philosophical-Political Profiles Jürgen Habermas / Livre de poche
common.buy 27.50 €
Melodies of the Mind Julie Jaffee Nagel / Livre de poche
common.buy 62.93 €
10th International Conference on Automated Deduction Mark E. Stickel / Livre de poche
common.buy 194.38 €
Playing with a Full Deck Alexis Johnson / Livre relié
common.buy 36.92 €
Changeable and Reconfigurable Manufacturing Systems Hoda A. ElMaraghy / Livre de poche
common.buy 206.48 €
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Livre de poche
common.buy 19.21 €
Achte auf deine Gedanken David R. Hamilton / Livre de poche
common.buy 10.69 €
Poetical Works of Edward Young Avol. 2 Edward Young / Livre de poche
common.buy 37.56 €
Exercises in Physical Geology Kenneth Hamblin / Livre de poche
common.buy 124.16 €
Salben im Morgen- und Abendlande Friedrich W. Culmann / Livre de poche
common.buy 32.01 €
Musiklehre, m. DVD Friedrich Neumann / Feuille
common.buy 25.16 €
Drug and Alcohol Abuse Marc A Schuckit / Livre de poche
common.buy 242.55 €
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Livre de poche
common.buy 88.73 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 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
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 199
EAN 9783642180699
ISBN 3642180698
Code Libristo 01297498
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 331
Dimensions 155 x 235 x 13

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 orientée objet (POO)
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 > 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