Verification and Evaluation of Computer and Communication Systems (Paperback)

Belgacem Ben Hedia

ISBN 10: 3031497368 ISBN 13: 9783031497360
Verlag: Springer International Publishing AG, Cham, 2023
Neu Paperback

Verkäufer Grand Eagle Retail, Bensenville, IL, USA Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 12. Oktober 2005

Beschreibung

Beschreibung:

Paperback. This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 1820, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 1820, 2023. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783031497360

Diesen Artikel melden

Inhaltsangabe:

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18–20, 2023. 

The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. 
The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Verification and Evaluation of Computer and ...
Verlag: Springer International Publishing AG, Cham
Erscheinungsdatum: 2023
Einband: Paperback
Zustand: new
Auflage: 1. Auflage

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Gebraucht Softcover

Anbieter: Marlton Books, Bridgeton, NJ, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2023. Bestandsnummer des Verkäufers AB-002038

Verkäufer kontaktieren

Gebraucht kaufen

EUR 7,65
EUR 2,58 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Ben Hedia, Belgacem
Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Gebraucht Softcover

Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Bestandsnummer des Verkäufers wbs7938884954

Verkäufer kontaktieren

Gebraucht kaufen

EUR 13,71
EUR 6,41 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unbekannt
Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. Bestandsnummer des Verkäufers 42806560/1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 35,81
EUR 105,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Kartoniert / Broschiert

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Bestandsnummer des Verkäufers 1215161139

Verkäufer kontaktieren

Neu kaufen

EUR 52,76
EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Belgacem Ben Hedia (u. a.)
Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Taschenbuch
Print-on-Demand

Anbieter: preigu, Osnabrück, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Verification and Evaluation of Computer and Communication Systems | 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | xviii | Englisch | 2023 | Springer | EAN 9783031497360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 127901335

Verkäufer kontaktieren

Neu kaufen

EUR 54,80
EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783031497360_new

Verkäufer kontaktieren

Neu kaufen

EUR 58,55
EUR 13,81 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Belgacem Ben Hedia
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch. Bestandsnummer des Verkäufers 9783031497360

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
EUR 60,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Belgacem Ben Hedia
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. 200 pp. Englisch. Bestandsnummer des Verkäufers 9783031497360

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
EUR 23,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Belgacem Ben Hedia
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. Bestandsnummer des Verkäufers 9783031497360

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
EUR 61,56 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783031497360

Verkäufer kontaktieren

Neu kaufen

EUR 65,57
Versand gratis
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen