Stock Photo: Cover May Be Different
The B Language and Method: A Guide to Practical Formal Development Paperback - 1996
by Kevin Lano
Details
- Title The B Language and Method: A Guide to Practical Formal Development
- Author Kevin Lano
- Binding Paperback
- Edition Softcover reprin
- Pages 232
- Volumes 1
- Language ENG
- Publisher Springer, Berlin, Heidelberg, New York
- Date 1996-05-14
- ISBN 9783540760337 / 3540760334
- Weight 0.76 lbs (0.34 kg)
- Dimensions 9.21 x 6.14 x 0.51 in (23.39 x 15.60 x 1.30 cm)
- Library of Congress Catalog Number 96012591
- Dewey Decimal Code 005.120
More Copies for Sale
Stock Photo: Cover May Be Different
The B Language and Method: A Guide to Practical Formal Development
by Kevin Lano
- Used
- good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
A$30.18A$18.61 shipping to USA
Show Details
Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996. Paperback. Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
A$30.18
A$18.61
shipping to USA
Lecture Notes in Computer Science: 672: The MOSIX Distributed Operating System: Load Balancing for UNIX
by Barak, Amnon; Guday, Shai; Wheeler, Richard G.
- Used
- good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 1
- Seller
-
Didcot, Oxfordshire, United Kingdom
- Item Price
-
A$38.70A$18.43 shipping to USA
Show Details
Description:
Berlin, Heidelberg, New York: Springer-Verlag London Limited, 2008. 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. paperback. Good/No Dust Jacket. Ex-Library.
Item Price
A$38.70
A$18.43
shipping to USA
The B Language and Method: A Guide to Practical Format Development
by Lano, K.
- Used
- good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 1
- Seller
-
Didcot, Oxfordshire, United Kingdom
- Item Price
-
A$86.62A$18.43 shipping to USA
Show Details
Description:
London: Springer Verlag London, 1996. Paperback. Good condition. Ex-academic library. Library labels on spine foot, inside front cover, half-title page, reverse of title page and last page of text. Library label residue on half-title page. Library stamps on half-title page, title page, inside rear cover, page block and at one or two further points. Minor pen markings on half-title page and reverse of title page. A few bumps and scores on covers. Binding is sound, and the contents are clear. AF. Paperback. Good/No Dust Jacket. Ex-Library.
Item Price
A$86.62
A$18.43
shipping to USA
Stock Photo: Cover May Be Different
The B Language and Method: A Guide to Practical Formal Development
by Lano, K.
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
A$112.13A$19.40 shipping to USA
Show Details
Description:
Springer Verlag, 1996. Paperback. New. 240 pages. 9.25x6.10x0.55 inches.
Item Price
A$112.13
A$19.40
shipping to USA
Stock Photo: Cover May Be Different
The B Language and Method: A Guide to Practical Formal Development
by Kevin Lano
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$114.07A$19.30 shipping to USA
Show Details
Description:
Paperback / softback. New. 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.
Item Price
A$114.07
A$19.30
shipping to USA
Stock Photo: Cover May Be Different
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
by Kevin Lano
- Used
- Paperback
- Condition
- Used:Good
- Edition
- Softcover reprint of the origina
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540760337 / 3540760334
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
A$158.67FREE shipping to USA
Show Details
Description:
Springer, 1996-05-14. Softcover reprint of the origina. Paperback. Used:Good.
Item Price
A$158.67
FREE shipping to USA