Articles liés à Dependable Software Engineering. Theories, Tools, and...

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings - Couverture souple

 
9783030355395: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Synopsis

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.


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

  • ÉditeurSpringer
  • Date d'édition2019
  • ISBN 10 303035539X
  • ISBN 13 9783030355395
  • ReliureBroché
  • Langueanglais
  • Nombre de pages156
  • ÉditeurGuan Nan, Katoen Joost-Pieter, Sun Jun
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 64,65

Autre devise

EUR 17,52 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 48,37

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Dependable Software Engineering. Theories, Tools, and...

Image fournie par le vendeur

Guan, Nan|Katoen, Joost-Pieter|Sun, Jun
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 proceedings of the 5th International Symposium on Dependable Software Engineering: Theories,&nbspTools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.&nbspThe 8 full papers presented . N° de réf. du vendeur 335811455

Contacter le vendeur

Acheter neuf

EUR 48,37
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

Nan Guan
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formalmethods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. N° de réf. du vendeur 9783030355395

Contacter le vendeur

Acheter neuf

EUR 53,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

Nan Guan
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formalmethods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 156 pp. Englisch. N° de réf. du vendeur 9783030355395

Contacter le vendeur

Acheter neuf

EUR 53,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

Image d'archives

Guan, Nan
Edité par Springer 2019-11, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030355395

Contacter le vendeur

Acheter neuf

EUR 54,99
Autre devise
Frais de port : EUR 11,26
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 ria9783030355395_new

Contacter le vendeur

Acheter neuf

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Nan Guan
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 -This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch. N° de réf. du vendeur 9783030355395

Contacter le vendeur

Acheter neuf

EUR 53,49
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 fournie par le vendeur

Guan, Nan (EDT); Katoen, Joost-Pieter (EDT); Sun, Jun (EDT)
Edité par Springer, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 38681426-n

Contacter le vendeur

Acheter neuf

EUR 54,63
Autre devise
Frais de port : EUR 17,52
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Guan, Nan (EDT); Katoen, Joost-Pieter (EDT); Sun, Jun (EDT)
Edité par Springer, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 38681426-n

Contacter le vendeur

Acheter neuf

EUR 58,02
Autre devise
Frais de port : EUR 17,80
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Guan, Nan (EDT); Katoen, Joost-Pieter (EDT); Sun, Jun (EDT)
Edité par Springer, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 38681426

Contacter le vendeur

Acheter D'occasion

EUR 64,65
Autre devise
Frais de port : EUR 17,52
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Guan, Nan (EDT); Katoen, Joost-Pieter (EDT); Sun, Jun (EDT)
Edité par Springer, 2019
ISBN 10 : 303035539X ISBN 13 : 9783030355395
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 38681426

Contacter le vendeur

Acheter D'occasion

EUR 68,08
Autre devise
Frais de port : EUR 17,80
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 7 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre