Abstract State Machines, B and Z Image close
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Show Hide Adult Content
Abstract State Machines, B and Z close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.99
RRP:
$146.95 save $6.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$183.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$338.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Big Data Analytics in Astronomy, Science, and Engineering
$219.99
Big Data Analytics in Astronomy, Science, and Engineering
Paperback / softback
Pre-order - out 10 Jun 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$287.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$243.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out 30 Apr 2024
Fuzzy Logic in Artificial Intelligence
$108.99
Fuzzy Logic in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
The Vienna Development Method: The Meta-Language
$106.99
The Vienna Development Method: The Meta-Language
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Research and Development in Information Retrieval
$108.99
Research and Development in Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics-Directed Compiler Generation
$108.99
Semantics-Directed Compiler Generation
Paperback / softback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science
$120.99
Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $54
$142.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Language and Automata Theory and Applications Save $98
$145.99
$244.95
Language and Automata Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Formal Argumentation
$135.99
Theory and Applications of Formal Argumentation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. 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.
Release date Australia
September 8th, 2008
Audience
  • Professional & Vocational
Contributors
  • Edited by Egon Borger
  • Edited by Jonathan P Bowen
  • Edited by Michael Butler
  • Edited by Paul Boca
Illustrations
XII, 384 p.
Pages
384
Dimensions
155x235x25
ISBN-13
9783540876021
Product ID
2708345

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation