Montant total (1 article articles) :
Destination de la commande :
9783642180699 - Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010 Paris, France, June 28-30, 2010 Revised Selected Papers (7 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (7)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (5)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (7)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (4)
- Sans impressions à la demande (7)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 40
- Plus de EUR 40
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Verification of Object-Oriented Software : International Conference, Foveoos 2010 Paris, France, June 28-30, 2010 Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,24
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Verification of Object-Oriented Software : International Conference, Foveoos 2010 Paris, France, June 28-30, 2010 Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,79
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
-
Formal Verification of Object-Oriented Software (Paperback)
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10 : 3642180698 ISBN 13 : 9783642180699
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,10
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers . / Programming and Software Engineering)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,14
Expédition à EUR 11,55
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 199 pages. 9.40x6.10x0.50 inches. In Stock.
-
Formal Verification of Object-Oriented Software
Langue: anglais
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642180698 ISBN 13 : 9783642180699
EUR 60,36
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. High quality selected papersUnique visibilityState of the art researchThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, .
-
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Langue: anglais
Edité par Springer, Berlin, Springer, 2011
ISBN 10 : 3642180698 ISBN 13 : 9783642180699
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,15
Expédition à EUR 61,64
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - 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.
-
EUR 39,94
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
