Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Idioma: inglés

Editorial: Springer Okt 2026, 2026

3032352975 / 9783032352972

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

Vendedor de 5 estrellas

Vendedor de IberLibro desde 23 de enero de 2017

Tapa blanda

Condición: Nuevo

EUR 87,73

Envío por EUR 60,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the Third International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2026, which took place in Liverpool, UK, during September 2-4, 2026.The 24 full papers included in this book were carefully reviewed and selected from 54 submissions.They deal with up to date research in the quantitative evaluation and verification of systems, including fundamental and practical aspects of systems with quantitative nature (such as probability, timing, or cost) and particular focus on machine-learning and quantum systems, case studies, and tool papers.Springer Nature Customer Service Center GmbH, Europaplatz 3,69115 Heidelberg, Germany, 69115 Heidelberg 460 pp. Englisch.

N° de ref. del artículo 9783032352972

Título
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Autor
Max Tschaikowski
Editorial
Springer Okt 2026
Año de publicación
2026
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
3032352975
ISBN 13
9783032352972
Peso del artículo
692 gramos
Dimensiones
235x155x25 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 23 de enero de 2017

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 60,00EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • PayPal

Descripción de la tienda

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Especialidad

Modernes Antiquariat - Bücher von 1960 bis heute

Información empresarial del vendedor

buchversandmimpf2000

Alemania