Articles liés à Formal Methods: Foundations and Applications: 23rd...

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings - Couverture souple

 
9783030638818: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Couverture souple
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Editeur : Springer, 2020

Synopsis

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.

The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.

Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic System’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.


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

  • ÉditeurSpringer
  • Date d'édition2020
  • ISBN 10 3030638812
  • ISBN 13 9783030638818
  • ReliureBroché
  • Langueanglais
  • Numéro d'édition1
  • Nombre de pages240
  • ÉditeurCarvalho Gustavo, Stolz Volker
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
9783030638818: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
EUR 61,55

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Formal Methods: Foundations and Applications: 23rd...

Image fournie par le vendeur

Carvalho, Gustavo|Stolz, Volker
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. N° de réf. du vendeur 416422822

Contacter le vendeur

Acheter neuf

EUR 61,55
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 d'archives

Edité par Springer, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
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 ria9783030638818_new

Contacter le vendeur

Acheter neuf

EUR 74,06
Autre devise
Frais de port : EUR 4,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Volker Stolz
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
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. N° de réf. du vendeur 9783030638818

Contacter le vendeur

Acheter neuf

EUR 69,54
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

Volker Stolz
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
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 240 pp. Englisch. N° de réf. du vendeur 9783030638818

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Gustavo Carvalho,Volker Stolz
Edité par Springer 2020-11-20, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

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

Contacter le vendeur

Acheter neuf

EUR 70,23
Autre devise
Frais de port : EUR 11,14
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Volker Stolz
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

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

Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. N° de réf. du vendeur 9783030638818

Contacter le vendeur

Acheter neuf

EUR 69,54
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
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-9783030638818

Contacter le vendeur

Acheter neuf

EUR 83,03
Autre devise
Frais de port : EUR 6,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
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. 1st ed. 2020 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26387166817

Contacter le vendeur

Acheter neuf

EUR 92,98
Autre devise
Frais de port : EUR 7,80
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Neuf Couverture souple
impression à la demande

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. Print on Demand. N° de réf. du vendeur 392433086

Contacter le vendeur

Acheter neuf

EUR 93,82
Autre devise
Frais de port : EUR 10,39
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2020
ISBN 10 : 3030638812 ISBN 13 : 9783030638818
Neuf Couverture souple
impression à la demande

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. PRINT ON DEMAND. N° de réf. du vendeur 18387166827

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre