Formal Methods and Models for System Design > Editions
by Rajesh Gupta First published October 1st 2004
Published December 14th 2011
by Springer
Softcover reprint of the original 1st ed. 2004, Paperback, 381 pages
Published November 6th 2012
by Springer
Paperback, 384 pages
Published June 30th 2004
by Springer
2004, Kindle Edition, 381 pages
Published October 1st 2004
by Springer
2004, Hardcover, 381 pages