Paperback. Good condition. Ex-Library. Library labels on front cover and inside front cover. Library stamps on half-title page. A few bumps, marks and light creases on covers. Slight wear on spine ends and leading corners. Binding is sound, and the contents are clear. AF.

N� de r�f. du vendeur 449253

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Lecture Notes in Computer Science: 672: The MOSIX Distributed Operating System: Load Balancing for UNIX

�diteur

Springer-Verlag London Limited, Berlin, Heidelberg, New York

Date de parution

2008

ISBN � 10 chiffres

3540760334

ISBN � 13 chiffres

9783540760337

Reliure

Paperback

�tat de l'article

Good

�tat de la jaquette

No Dust Jacket

Type de livre

Ex-Library

Catalogues du vendeur

A propos de ce titre

Synopsis

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube)are run and owned by Chris Edwards operating as a sole trader. We have bought all our books and take great care with the storage and listing of each one. As well as over 107,000 listings we have nearly 100,000 in our London shop and probably five times as many awaiting attention in the warehouse. We have been selling with a five-star rating continuously sine 2003 on AbeBooks. PsychoBabel and Skoob buy from private individuals and prestigious libraries. We are NOT 'barcoders' but dedicated book lovers, offering an excellent service. We enjoy receiving phone calls and we handle each order individually. We dispatch our orders daily and accommodate customers all over the world. Our wonderful packaging is not charged for. Please email or call with any queries or requests for photos.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

PsychoBabel & Skoob Books
United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

To pay by PayPal, just paste this link into your browser: paypal.me/PsychoBabelSkoob

PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube) are solely owned by Chris Edwards, 1 Churchward, Didcot, Oxfordshire. OX11 7HB. Prompt dispatch on clearance of payment. If any doubt about condition of book in addition to that described please e-mail or call. PsychoBabel & Skoob Books 1 Churchward, Didcot, Oxfordshire. OX11 7HB Telephone 01235 861411 www.psychobabel.co.uk VAT Regi...

Pour plus d'information

Conditions d'exp�dition

We post every weekday! All shipping quotes are based on fast efficient service with the best possible packaging.
Standard charge is based on average weight of books - about 0.9Kg. Heavy items (over 1.5Kg) may require extra postage depending on destination. We'll e-mail you if necessary.