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

View on Open Library

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

by Yamine Ait Ameur , Klaus-Dieter Schewe

No reviews yet

First published: 2014 1 language ISBN: 9783662436523

Subjects

Machine learning Machine theory Computer science Software engineering Programming languages (electronic computers) Logic, symbolic and mathematical Logic design Mathematical Logic and Formal Languages Logics and Meanings of Programs Computation by Abstract Devices

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Yamine Ait Ameur

ABZ 2014 : The Landing Gear Case Study

ABZ 2014 : The Landing Gear Case Study

You Might Also Like

More in Machine learning

Advanced Computing and Systems for Security

Advanced Computing and Systems for Secur...

Rituparna Chaki

Advances in artificial intelligence

Advances in artificial intelligence

Canadian Society for Computational Studies of Intelligence. Conference

Machine Learning Paradigms

Machine Learning Paradigms

Aristomenis S. Lampropoulos

Machine Learning and Data Mining in Pattern Recognition

Machine Learning and Data Mining in Patt...

Petra Perner

Machine Learning and Knowledge Discovery in Databases

Machine Learning and Knowledge Discovery...

Albert Bifet

First Course in Machine Learning

First Course in Machine Learning

Simon Rogers