Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Macei�, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941) 17th Brazilian Symposium, SBMF 2014, Macei�, AL, Brazil, September 29--October 1, 2014. Proceedings

Braga, Christiano und Narciso Marti-Oliet,

ISBN 10: 331915074X ISBN 13: 9783319150741

Edit� par Springer, 2015

Ancien(s) ou d'occasion Couverture souple

Vendeur Antiquariat Bookfarm, L�bnitz, Allemagne �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 28 octobre 2009

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchr�cken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Gr��e: 15.5 x 1.1 x 23.5 cm. N� de r�f. du vendeur 1129549

Signaler cet article

Synopsis :

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei�, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Formal Methods: Foundations and Applications...
�diteur : Springer
Date d'�dition : 2015
Reliure : Couverture souple
Edition : 2015.

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Formal Methods: Foundations and Applications

Braga, Christiano|Mart�-Oliet, Narciso

Edit� par Springer International Publishing, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 4499494

Contacter le vendeur

Acheter neuf

EUR 39,61

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Autres images

Formal Methods: Foundations and Applications | 17th Brazilian Symposium, SBMF 2014, Macei�, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga (u. a.)

Edit� par Springer, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 41,25

EUR 70 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Macei�, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)

Edit� par Springer, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Couverture souple

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

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020089536

Contacter le vendeur

Acheter neuf

EUR 42,67

EUR 3,39 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications

Narciso Mart�-Oliet

Edit� par Springer International Publishing, Springer Jan 2015, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei�, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. N� de r�f. du vendeur 9783319150741

Contacter le vendeur

Acheter neuf

EUR 42,80

EUR 60 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications

Narciso Mart�-Oliet

Edit� par Springer International Publishing Jan 2015, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Taschenbuch

impression � la demande

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

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei�, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 192 pp. Englisch. N� de r�f. du vendeur 9783319150741

Contacter le vendeur

Acheter neuf

EUR 42,80

EUR 23 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Macei�, AL, Brazil, September 29--October 1, 2014. Proceedings

Narciso Mart�-Oliet

Edit� par Springer International Publishing, Springer International Publishing, 2015

ISBN 10 : 331915074X ISBN 13 : 9783319150741

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei�, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. N� de r�f. du vendeur 9783319150741

Contacter le vendeur