Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 53,75
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 54,49
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,30
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 60,02
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 61,98
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,39
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,39
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 55,69
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 55,90
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 57,38
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 57,38
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 77,74
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 403.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 68,60
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 65,13
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 65,12
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 69,86
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Verlag New York Inc, 2018
ISBN 10 : 3030003582 ISBN 13 : 9783030003586
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 77,77
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 236 pages. 9.25x6.10x0.54 inches. In Stock.
EUR 85,63
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Nature New York Inc, 2020
ISBN 10 : 3030500284 ISBN 13 : 9783030500283
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 80,70
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 424 pages. 9.25x6.10x0.86 inches. In Stock.
EUR 87,24
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer Nature Switzerland, Springer International Publishing Aug 2018, 2018
ISBN 10 : 3030003582 ISBN 13 : 9783030003586
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri¿cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.
Edité par Springer International Publishing, Springer Nature Switzerland Jun 2020, 2020
ISBN 10 : 3030500284 ISBN 13 : 9783030500283
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
Edité par Springer International Publishing, Springer International Publishing, 2018
ISBN 10 : 3030003582 ISBN 13 : 9783030003586
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Edité par Springer International Publishing, 2020
ISBN 10 : 3030500284 ISBN 13 : 9783030500283
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 103,97
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. New. book.
Edité par Springer International Publishing Jun 2020, 2020
ISBN 10 : 3030500284 ISBN 13 : 9783030500283
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis. 424 pp. Englisch.
Edité par Springer International Publishing Aug 2018, 2018
ISBN 10 : 3030003582 ISBN 13 : 9783030003586
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. 236 pp. Englisch.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 78,54
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 403.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 80,22
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 403.