Using Event-B for Critical Device Software Systems > Editions
by Neeraj Kumar Singh First published January 1st 2013
Published September 18th 2013
by Springer London
ebook, 334 pages
Published June 19th 2013
by Springer
Kindle Edition, 583 pages
Published January 1st 1753
by Springer
Hardcover
Published June 22nd 2013
by Springer
Paperback, 346 pages
Published July 7th 2015
by Springer
2013, Paperback, 344 pages
Published May 14th 2014
by Not Avail
Unknown Binding, 334 pages
Published June 19th 2013
by Springer
2013, Kindle Edition, 583 pages
Published July 2nd 2013
by Springer
2013, Hardcover, 344 pages
