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
Author(s):
ISBN:
9781299858749
(ISBN10: 1299858740)
ASIN:
1299858740
Average rating:
3.00
(1 rating)
Published June 19th 2013
by Springer
Kindle Edition, 583 pages
Author(s):
ASIN:
B0DF5XGKQS
Edition language:
English
Average rating:
0.0
(0 ratings)
Published January 1st 1753
by Springer
Hardcover
Author(s):
ASIN:
B01K0SO7DM
Average rating:
0.0
(0 ratings)
Published June 22nd 2013
by Springer
Paperback, 346 pages
Author(s):
ISBN:
9781447152613
(ISBN10: 1447152611)
ASIN:
1447152611
Edition language:
English
Average rating:
0.0
(0 ratings)
Published July 7th 2015
by Springer
2013, Paperback, 344 pages
Author(s):
ISBN:
9781447157908
(ISBN10: 1447157907)
ASIN:
1447157907
Edition language:
English
Average rating:
0.0
(0 ratings)
Published May 14th 2014
by Not Avail
Unknown Binding, 334 pages
Author(s):
ISBN:
9781447152606
(ISBN10: 1447152603)
ASIN:
1447152603
Average rating:
0.0
(0 ratings)
Published June 19th 2013
by Springer
2013, Kindle Edition, 583 pages
Author(s):
ASIN:
B00DI0LPWG
Edition language:
English
Average rating:
0.0
(0 ratings)
Published July 2nd 2013
by Springer
2013, Hardcover, 344 pages
Author(s):
ISBN:
9781447152590
(ISBN10: 144715259X)
ASIN:
144715259X
Edition language:
English
Average rating:
0.0
(0 ratings)
