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.

N� de ref. del art�culo wbs3336437697

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November . (Lecture Notes in Computer Science, 14308)
Editor: Springer
Fecha de publicaci�n: 2023
Idioma: Ingl�s
ISBN 10: 9819975832
ISBN 13: 9789819975839
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Like New

Acerca de

Sinopsis

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.

The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Revival Books Ltd
Unit 11 Hugh Business Park, Bacup Road, Waterfoot, Rossendale, BB4 7BT, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

WeBuyBooks
Hall Carr Mill
Fallbarn Road
Rawtenstall
Lancashire BB4 7NX

Email: Sales@webuybooks.co.uk
Tel: 01706 227207

Company Reg. No. 07693718
VAT Number 901 5786 27

Authorised Representatives: Michael Lane and Damian Carr

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.