The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology)

Lano, K.

ISBN 10: 3540760334 ISBN 13: 9783540760337

Editorial: Springer-Verlag Telos, 1996

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Mispah books, Redhill, SURRE, Reino Unido

Vendedor de AbeBooks desde 15 de abril de 2021

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Como Nuevo

Precio: EUR 99,12 Convertir moneda

EUR 28,98 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo ERICA77335407603346

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology)

Editor

Springer-Verlag Telos

Fecha de publicaci�n

1996

Idioma

Ingl�s

ISBN 10

3540760334

ISBN 13

9783540760337

Encuadernaci�n

Paperback

Estado

Like New

Tipo de libro

book

Cat�logos de vendedores

Acerca de

Sinopsis

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

Acerca del autor

Kevin Lano teaches a course on B at Imperial College.

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

Descripci�n de la librer�a

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Mispah books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Derecho a cancelaci�n

Condiciones de env�o

Our rates depends on weight of the item & shipping destination

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

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 15 a 20 d�as h�biles	De 10 a 20 d�as h�biles
Primer art�culo	EUR 28.98	EUR 31.30

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.