Specification in B

An Introduction Using the B Toolkit

(

)

Author:

ISBN:

978-1-86094-018-7

Publication Date:

Apr 1996

Publisher:

World Scientific Publishing Co Pte Ltd

Book Format:

Paperback

List Price:

USD $37.00

Book Details

Pages:	256
Detailed Subjects:	Computers / Languages / General

The Interrogation
Cook, Thomas H.
Electronic book text: $17.99

Legacy
Blackstock, Uché
Hardback: $28.00

The Light We Carry
Obama, Michelle
Paperback: $19.99

Select your rating below then click 'submit'.