Torna alla homepage
|In vendita nella categoria:

Foto 1 di 1

The B Language and Method: A Guide to Practical Formal Development (Formal Appr - Foto 1 di 1
Ne hai uno da vendere?
Vendine uno simile

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

Phatpocket Book Shoppe
(41348)
Registrato come venditore professionale
Altre inserzioni del venditore
Contatta il venditore
GBP 17,11
CircaEUR 20,31
Condizione:
Buone condizioni
2 disponibili
Goditi i vantaggi. Restituzioni accettate.
Spedizione:
GBP 7,20 (circa EUR 8,55) Royal Mail International Standard.
Oggetto che si trova a: Hertfordshire, Regno Unito
Consegna:
Consegna prevista tra il gio 12 giu e il gio 26 giu a 94104
Le date di consegna stimate - viene aperta una nuova finestra o scheda includono tempi di imballaggio, CAP di origine, CAP di destinazione e periodo di accettazione e dipendono dal servizio di spedizione selezionato e dalla ricezione del pagamentoricezione del pagamento - si apre in una nuova finestra o scheda. I tempi di consegna possono variare, specialmente durante le festività.
Il venditore effettua la spedizione entro 1 giorno dalla ricezione del pagamento.
Restituzioni:
Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..
Pagamenti:
    Diners Club

Fai shopping in tutta sicurezza

Garanzia cliente eBay
Se non ricevi l'oggetto che hai ordinato, riceverai il rimborso. Ulteriori informazioniGaranzia cliente eBay - viene aperta una nuova finestra o scheda
Segnala questo oggetto - si apre in una nuova finestra o scheda
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:396692895514

Specifiche dell'oggetto

Condizione
Buone condizioni: Libro che è già stato letto ma è in buone condizioni. Mostra piccolissimi danni ...
Book Title
The B Language and Method: A Guide to Practical Formal Developmen
ISBN
9783540760337

Informazioni su questo prodotto

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

Descrizione dell'oggetto fatta dal venditore

Informazioni sul venditore professionale

Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione europea.
Partita IVA: GB 858 5123 06
CRN: 04924751
Informazioni su questo venditore

Phatpocket Book Shoppe

99,2% di Feedback positivi•120 mila oggetti venduti

Su eBay da nov 2000
Registrato come venditore professionale
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 ...
Mostra altro
Visita il NegozioContatta

Valutazione dettagliata del venditore

Media degli ultimi 12 mesi
Descrizione
4.9
Spese spedizione
5.0
Tempi di spedizione
4.9
Comunicazione
4.9

Feedback sul venditore (43.227)

Tutti i punteggi
Positivo
Neutro
Negativo
  • r***x (261)- Feedback lasciato dall'acquirente.
    Ultimi 6 mesi
    Acquisto verificato
    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 (N° 156497108265)
  • u***r (368)- Feedback lasciato dall'acquirente.
    Ultimi 6 mesi
    Acquisto verificato
    Good seller, item as described, well packed, quick delivery, recommended, thanks.
    Swimming Anatomy by McLeod, Ian A. (N° 396289994801)
  • o***2 (56)- Feedback lasciato dall'acquirente.
    Ultimi 6 mesi
    Acquisto verificato
    Item arrived promptly, securely packed, and in fair condition as advertised. A reliable vendor.
    The Moment of " Scrutiny " by Mulhern, F (N° 394956832271)
Vedi tutti i feedback

Vedi altro: