Wheelers Books

This title is firm sale. Please select carefully as returns are not accepted.

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
  

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Trade Paperback / Paperback, 2002 ed.)

Edited by Bert, Didier
Edited by Bowen, Jonathan P.
Edited by Henson, Martin C.
Edited by Robinson, Ken

  • RRP: $424.50
  • $218.99
  • Save $205.51
  • No availability locally

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the b...ook. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
Read more

ISBN 9783540431664
Publisher Springer
Format Trade Paperback/Paperback, 2002 ed.
Series Lecture Notes in Computer Science (part: 2272)
Availability
Internationally sourced; usually ships 2-3 weeks

Full details for this title

ISBN-13 9783540431664
Stock Available
Status Internationally sourced; usually ships 2-3 weeks
Publisher Springer
Imprint Springer
Publication Country Germany Germany
Format Trade Paperback/Paperback, 2002 ed.
Edition 2002 ed.
Author(s) Edited by Bert, Didier
Edited by Bowen, Jonathan P.
Edited by Henson, Martin C.
Edited by Robinson, Ken
Series Lecture Notes in Computer Science (part: 2272)
Category Mathematical Logic
Software Engineering
Computer Programming Languages
Number of Pages 541
Dimensions Width: 155mm
Height: 235mm
Spine: 28mm
Dewey Code 005.133
Weight 1,690g
Interest Age General Audience
Reading Age General Audience
Library of Congress Computer science, Computer science, Software engineering, Logic, Symbolic and mathematical, Computer science
NBS Text Computing: Professional & Programming
ONIX Text Professional and scholarly

TOP