Zb 2000: Formal Specification and Development in Z and B - Lecture Notes in Computer Science - Jonathan P Bowen - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540679448 - August 16, 2000
In case cover and title do not match, the title is correct

Jonathan P Bowen
Zb 2000: Formal Specification and Development in Z and B - Lecture Notes in Computer Science

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The text documents the advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

510 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 16, 2000
ISBN13 9783540679448
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 510
Dimensions 155 × 233 × 27 mm   ·   1.22 kg
Language German  
Editor Bowen, Jonathan P.
Editor Dunne, Steve
Editor Galloway, Andrew
Editor Galloway, Andy
Editor King, Steve

More by Jonathan P Bowen

Show all

Mere med samme udgiver

See all of Jonathan P Bowen ( e.g. Paperback Book and Hardcover Book )