Volver a la portada
|En la categoría:

Imagen 1 de 1

The B Language and Method: A Guide to Practical Formal Development (Formal Appr - Imagen 1 de 1
¿Quieres vender uno?
Véndelo tú mismo

The B Language and Method: A Guide to Practical Formal Development (Formal Appr

Phatpocket Book Shoppe
(41348)
Registrado como vendedor profesional
Otros artículos del vendedor
Contactar con el vendedor
GBP 17,11
Aproximadamente20,31 EUR
Estado:
En buen estado
2 disponibles
Respira tranquilidad. Se aceptan devoluciones.
Envío:
GBP 7,20 (aprox. 8,55 EUR) Royal Mail International Standard.
Ubicado en: Hertfordshire, Reino Unido
Entrega:
Entrega prevista entre el mié. 11 jun. y el mié. 25 jun. a 94104
Las fechas previstas de entrega (se abre en una nueva ventana o pestaña) incluyen el tiempo de manipulación del vendedor, el código postal de origen, el código postal de destino y la hora de aceptación, y dependen del servicio de envío seleccionado y de que el pago se haya hecho efectivoel pago se haya hecho efectivo (se abre en una nueva ventana o pestaña). Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
El vendedor envía en un plazo de 1 día después de que el pago se haya hecho efectivo.
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
Informar sobre este artículo (se abre en una nueva ventana o pestaña)
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:396692895514

Características del artículo

Estado
En buen estado: Libro que se ha leído pero que está en buen estado. Daños mínimos en la tapa, ...
Book Title
The B Language and Method: A Guide to Practical Formal Developmen
ISBN
9783540760337

Acerca de este producto

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540760337
eBay Product ID (ePID)
89714519

Product Key Features

Number of Pages
232 Pages
Publication Name
The B Language and Method: a Guide to Practical Formal Development
Language
English
Subject
Computer Science
Publication Year
1996
Type
Textbook
Author
Kevin Lano
Series
Formal Approaches to Computing and Information Technology (Facit)
Format
Paperback

Dimensions

Item Height
235 mm
Item Weight
376 g
Item Width
155 mm

Additional Product Features

Country/Region of Manufacture
Germany
Title_Author
Kevin Lano

Descripción del artículo del vendedor

Información de vendedor profesional

Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
Número de IVA: GB 858 5123 06
CRN: 04924751
Acerca de este vendedor

Phatpocket Book Shoppe

99,2% de votos positivos•120 mil artículos vendidos

Se unió el nov 2000
Registrado como vendedor profesional
Phatpocket Ltd is a world class secondhand bookstore based in Hertfordshire, United Kingdom. We specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast ...
Ver más
Visitar tiendaContactar

Valoraciones detalladas sobre el vendedor

Promedio durante los últimos 12 meses
Descripción precisa
4.9
Gastos de envío razonables
5.0
Rapidez de envío
4.9
Comunicación
4.9

Votos de vendedor (43.223)

Todas las valoraciones
Positivas
Neutras
Negativas
  • r***x (261)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    Item exactly as described (incredibly good shape for a former library book). Great packaging, very fast shipping. Excellent communication. A+ eBay seller, one of eBay's finest! Looking forward to doing business with you again.
    "They Thought It Was a Marvel": Arthur Melbourne-Cooper (1874-1961), Pioneer of (#156497108265)
  • u***r (368)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    Good seller, item as described, well packed, quick delivery, recommended, thanks.
    Swimming Anatomy by McLeod, Ian A. (#396289994801)
  • o***2 (56)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    Item arrived promptly, securely packed, and in fair condition as advertised. A reliable vendor.
    The Moment of " Scrutiny " by Mulhern, F (#394956832271)
Ver todos los votos

Más que explorar: