Verification of Reactive Systems > Editions

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Published October 16th 2003 by Springer

2004, Hardcover

less detail

[(Verification of Reactive Systems )] [Author: Klaus Schneider] [Dec-2010]

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Unknown Binding, 0 pages

less detail

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) 2004 edition by Schneider, Klaus (2003) Hardcover

Published by Springer

2004, Hardcover, 0 pages

less detail

verification_of_reactive_systems._texts_in_theoretical_computer_science_eatcs (Hardcover)

Published January 1st 2010 by Fisicalbook

Hardcover, 0 pages

less detail

Verification of Reactive Systems: Formal Methods and Algorithms (Paperback)

Published December 22nd 2012 by Springer

Paperback, 620 pages

less detail

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Published December 8th 2010 by Springer

Softcover reprint of hardcover 1st ed. 2004, Paperback, 616 pages

less detail