Rigorous State-Based Methods (Paperback)
Philippe Palanque
ISBN 10: 3031331621 ISBN 13: 9783031331626
Editorial: Springer International Publishing AG, Cham, 2023
Nuevos
Paperback
Librería:
Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 12 de octubre de 2005
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de ref. del artículo 9783031331626
Sinopsis:
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Rigorous State-Based Methods (Paperback)
Editorial: Springer International Publishing AG, Cham
Año de publicación: 2023
Encuadernación: Paperback
Condición: new
Edición: 1ª Edición