Articles liés à Formal Methods: Foundations and Applications: 13th...

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Couverture souple

 
9783642198281: Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Couverture souple
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Editeur : Springer, 2011

Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
3642198287
ISBN 13 
9783642198281
Reliure
Broché
Nombre de pages
300
Éditeur
Davies Jim, Silva Leila, Simao Adenilso
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9783642198281: Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
EUR 61,98

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783642198281: Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
EUR 53,73

Autre devise

EUR 2,27 expédition vers Etats-Unis

Destinations, frais et délais

Résultats de recherche pour Formal Methods: Foundations and Applications: 13th...

Image fournie par le vendeur

Davies, Jim (EDT); Silva, Leila (EDT); Simao, Adenilso (EDT)
Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

É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 14360042-n

Contacter le vendeur

Acheter neuf

EUR 53,73
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Jim Davies
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

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

Paperback. Etat : new. Paperback. This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains. This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642198281

Contacter le vendeur

Acheter neuf

EUR 56,08
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

É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 ABLIING23Mar3113020220438

Contacter le vendeur

Acheter neuf

EUR 52,67
Autre devise
Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

É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 I-9783642198281

Contacter le vendeur

Acheter neuf

EUR 60,15
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Davies, Jim (EDT); Silva, Leila (EDT); Simao, Adenilso (EDT)
Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

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

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 14360042

Contacter le vendeur

Acheter D'occasion

EUR 61,98
Autre devise
Frais de port : EUR 2,27
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

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

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

Contacter le vendeur

Acheter neuf

EUR 58,25
Autre devise
Frais de port : EUR 13,79
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Jim Davies, Adenilso Simao, Leila Silva
Edité par Springer 2011-03-23, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642198281

Contacter le vendeur

Acheter neuf

EUR 56,62
Autre devise
Frais de port : EUR 17,83
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Davies, Jim (EDT); Silva, Leila (EDT); Simao, Adenilso (EDT)
Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

É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 14360042-n

Contacter le vendeur

Acheter neuf

EUR 58,24
Autre devise
Frais de port : EUR 17,27
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Davies, Jim (EDT); Silva, Leila (EDT); Simao, Adenilso (EDT)
Edité par Springer, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

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

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 14360042

Contacter le vendeur

Acheter D'occasion

EUR 66,08
Autre devise
Frais de port : EUR 17,27
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Davies, Jim
Edité par Springer 3/23/2011, 2011
ISBN 10 : 3642198287 ISBN 13 : 9783642198281
Neuf Paperback or Softback

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis

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

Paperback or Softback. Etat : New. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec. Book. N° de réf. du vendeur BBS-9783642198281

Contacter le vendeur

Acheter neuf

EUR 84,01
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre