Journeys Between Formal Methods and the Railway Industry (Paperback)

Idioma: inglés

Editorial: Springer Nature Switzerland AG, Cham, 2026

3032124832 / 9783032124838

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 29 de junio de 2022

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 118,42

Envío por EUR 42,97 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

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

Descripción del artículo del vendedor

Paperback. Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the Bachelors and Masters curricula in Computer Engineering, and President of the School of Engineering. He has collaborated with CNR-ISTI Pisa, Telecom ParisTech, and the Technical University of Denmark, and he has had many research, teaching, and consulting projects in leading companies and state enterprises.Prof. Fantechis main area of research is Software Engineering, in particular the application of formal specification and verification methods in industrial, safety-critical applications such as the railway domain, where he has been a leading practitioner for many years. He has been an active member of the ERCIM working group Formal Methods for Industrial Critical Systems (FMICS), he has chaired scientific events such as FMOODS, SPLC, SERENE, RSSRail and VaMoS, he is a member of IFIP WG 6.1, and he is one of the expert members of the Scientific Steering Group of Europes Rail Joint Undertaking.This volume contains chapters from leading scientists and engineers, their contributions honor an influential researcher, practitioner, and educator. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the Bachelors and Masters curricula in Computer Engineering, and President of the School of Engineering. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

N° de ref. del artículo 9783032124838

Título
Journeys Between Formal Methods and the Railway Industry (Paperback)
Autor
Stefania Gnesi
Editorial
Springer Nature Switzerland AG, Cham
Año de publicación
2026
Estado
new
Encuadernación
Paperback
Idioma
inglés
ISBN 10
3032124832
ISBN 13
9783032124838

CitiRetail

Stevenage, Reino Unido

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 29 de junio de 2022

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 7 a 14 días hábilesDe 7 a 60 días hábiles
Primer artículoEUR 42,97EUR 42,97
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

Descripción de la tienda

Online business

Información empresarial del vendedor

ABC BOOKS LIMITED

10 John Street
London, Reino Unido WC1N 2EB