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

Egon Borger
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

Price
¥ 8,699
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 22 - Jan 1, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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 )