T�tulo: B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Editor: Springer-Verlag New York Inc
Fecha de publicaci�n: 2007
Idioma: Ingl�s
ISBN 10: 3540687602
ISBN 13: 9783540687603
Encuadernaci�n: Paperback
Estado: Brand New
Peso: 0,45 kilogramos

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besan�on, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

Rese�a del editor

"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

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Derecho a cancelaci�n

Condiciones de env�o

Orders usually dispatched within two working days.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 7 a 28 d�as h�biles	De 2 a 5 d�as h�biles
Primer art�culo	EUR 11.45	EUR 22.90

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.