Abstract State Machines, Alloy, B, TLA, VDM, and Z - 2014

Why Amazon Chose TLA +

Get your print report emailed

Enter your email and we can send you a printable report on this item. ( View sample )

Print report emailed

We'll send you a print report shortly at Unknown

Receive our monthly book update for this book

We will send you an email each month containing links to all the book updates you subscribe to. This will keep informed of all the activity around your favourite books.


You will now receive reports at unknown email address

Share this page with others

You can share this item across the most popular social networks.

Click on the button below to purchase Why Amazon Chose TLA +

When you click on the button above, you will be redirected to springer.com where you can finish shopping.

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Crossref Citations Summary

Crossref Citations by year

Online mention summary

Online mention summary
  • 3 tweets
  • 1 Wikipedia page
See all mentions…

What is this?

The data shown here were aggregated by the data service Altmetric, which collects attention surrounding scholarly books and articles.

Mendeley readership by country

This chapter has 14 Mendeley readers. Click here to see more details on the Mendeley website.

Country %
Spain 1 7%
United States 1 7%
Unknown 12 86%

Mendeley readership by discipline

Discipline %
Computer Science 12 86%
Psychology 1 7%
Engineering 1 7%

Mendeley readership by professional status

Professional status %
Student > Ph. D. Student 5 36%
Student > Master 3 21%
Researcher 3 21%
Other 2 14%
Professor > Associate Professor 1 7%

SpringerLink Download summary

This chapter has been downloaded a total of 1,217 times.