Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science - Egon Borger - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540876021 - September 8, 2008
In case cover and title do not match, the title is correct

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science 2008 edition

Egon Borger

Price
元 496.65

Ordered from remote warehouse

Expected delivery Jun 4 - 16

Our customers say:

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

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science 2008 edition

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

394 pages, Illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 8, 2008
ISBN13 9783540876021
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 235 × 25 mm   ·   612 g
Language French  
Editor Boca, Paul
Editor Boerger, Egon
Editor Bowen, Jonathan P.
Editor Butler, Michael
Show all

More by Egon Borger

See all of Egon Borger ( e.g. Paperback Book , Book and Hardcover Book )