Articles liés à Leveraging Applications of Formal Methods, Verification...

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings - Couverture souple

 
9783540884781: Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Synopsis

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Assez bon
Pages are very clean and bright...
Afficher cet article
EUR 58,69

Autre devise

EUR 26,30 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 57,25

Autre devise

EUR 10,50 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Leveraging Applications of Formal Methods, Verification...

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 884 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7378094

Contacter le vendeur

Acheter neuf

EUR 57,25
Autre devise
Frais de port : EUR 10,50
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 884. N° de réf. du vendeur 26469873

Contacter le vendeur

Acheter neuf

EUR 60,22
Autre devise
Frais de port : EUR 7,89
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Margaria Tiziana Steffen Bernhard
Edité par Springer, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 884. N° de réf. du vendeur 18469883

Contacter le vendeur

Acheter neuf

EUR 61,96
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer November 2008, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Ancien ou d'occasion Paper Back

Vendeur : Dunaway Books, St. Louis, MO, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paper Back. Etat : Very Good. Pages are very clean and bright. Binding is tight and square. Minor rubbing to the edges and corners. N° de réf. du vendeur 169595

Contacter le vendeur

Acheter D'occasion

EUR 58,69
Autre devise
Frais de port : EUR 26,30
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

MARGARIA, TIZIANA
Edité par Springer, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-325713

Contacter le vendeur

Acheter neuf

EUR 82,51
Autre devise
Frais de port : EUR 2,94
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 884 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 4774868/12

Contacter le vendeur

Acheter D'occasion

EUR 96,39
Autre devise
Frais de port : Gratuit
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

TIZIANA MARGARIA,BERNHARD STEFFEN
Edité par Springer, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-271388

Contacter le vendeur

Acheter neuf

EUR 121,34
Autre devise
Frais de port : EUR 2,94
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Margaria, Tiziana|Steffen, Bernhard
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 4901858

Contacter le vendeur

Acheter neuf

EUR 136,16
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Bernhard Steffen
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems. N° de réf. du vendeur 9783540884781

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Bernhard Steffen
ISBN 10 : 3540884785 ISBN 13 : 9783540884781
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems. 884 pp. Englisch. N° de réf. du vendeur 9783540884781

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre