Books By Manna, Zohar

1.

Verification of Sequential and Concurrent Programs

Author:: Apt, Krzysztof R.
de Boer, Frank S.
Olderog, Ernst-Rüdiger

ISBN:: 978-1-84882-745-5

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Springer London, Limited

Publication Date:: Sep 2009

2.

Temporal Verification of Reactive Systems

Safety

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-1-4612-8701-8

Book Format:: Paperback

List Price:: AUD $273.95

Publisher:: Springer

Publication Date:: Aug 2012

3.

Temporal Verification of Reactive Systems

Safety

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-1-4612-4222-2

Book Format:: Ebook

List Price:: USD $160.00

Publisher:: Springer

Publication Date:: Dec 2012

4.

The Temporal Logic of Reactive Systems

Specification

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-0-387-97664-8

Book Format:: Hardback

List Price:: USD $119.99

Publisher:: Springer New York

Publication Date:: Dec 1991

5.

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial...

ISBN:: 978-3-642-11485-4

Book Format:: Paperback

List Price:: AUD $204.95

Publisher:: Springer

Publication Date:: Feb 2010

6.

Temporal Verification of Reactive Systems

Safety

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-0-387-94459-3

Book Format:: Hardback

List Price:: USD $109.99

Publisher:: Springer New York

Publication Date:: Aug 1995

7.

Hybrid Systems

Computation and Control - 6th International...

ISBN:: 978-3-540-00913-9

Book Format:: Paperback

List Price:: AUD $248.95

Publisher:: Springer

Publication Date:: Jan 2003

8.

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

ISBN:: 978-3-540-51803-7

Book Format:: Paperback

List Price:: AUD $203.95

Publisher:: Springer

Publication Date:: Jan 1989

9.

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial...

ISBN:: 978-3-642-11486-1

Book Format:: Ebook

List Price:: USD $129.00

Publisher:: Springer

Publication Date:: Jan 2010

10.

Temporal Verification of Reactive Systems

Safety

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-0-387-94459-3

Book Format:: Hardback

List Price:: AUD $318.95

Publisher:: Springer

Publication Date:: Jan 1995

11.

Verification of Sequential and Concurrent Programs

Author:: Springer
Apt, Krzysztof R.
Olderog, Ernst-Rüdiger
de Boer, Frank S.

ISBN:: 978-1-4471-2513-6

Book Format:: Paperback

List Price:: AUD $157.95

Publisher:: Springer

Publication Date:: Mar 2012

12.

Verification of Sequential and Concurrent Programs

Author:: Springer
Apt, Krzysztof R.
Olderog, Ernst-Rüdiger
de Boer, Frank S.

ISBN:: 978-1-4471-2513-6

Book Format:: Paperback

List Price:: USD $89.99

Publisher:: Springer London, Limited

Publication Date:: Mar 2012

13.

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague,...

ISBN:: 978-3-540-36580-8

Book Format:: Ebook

List Price:: USD $149.00

Publisher:: Springer

Publication Date:: Jul 2003

14.

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial...

ISBN:: 978-3-642-11485-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Feb 2010

15.

The Temporal Logic of Reactive Systems

Specification

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-0-387-97664-8

Book Format:: Hardback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jan 1991

16.

The Temporal Logic of Reactive and Concurrent Syst... - a book by Manna, Zohar

The Temporal Logic of Reactive and Concurrent Systems

Specification

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-1-4612-0931-7

Book Format:: Ebook

List Price:: USD $169.00

Publisher:: Springer

Publication Date:: Dec 2012

17.

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague,...

ISBN:: 978-3-540-36580-8

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jan 2003

18.

The Temporal Logic of Reactive and Concurrent Systems

Specification

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-1-4612-6950-2

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer New York

Publication Date:: Oct 2012

19.

Temporal Verification of Reactive Systems

Safety

Author:: Manna, Zohar
Pnueli, Amir

ISBN:: 978-1-4612-8701-8

Book Format:: Paperback

List Price:: USD $119.99

Publisher:: Springer New York

Publication Date:: Aug 2012

20.

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

ISBN:: 978-3-540-51803-7

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 1989

Books » Manna, Zohar Books » Books By Manna, Zohar

Related Keywords

Refine Options

Featured Books


1.		Verification of Sequential and Concurrent Programs Author: Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger ISBN: 978-1-84882-745-5 Book Format: Ebook List Price: Contact Supplier contact Publisher: Springer London, Limited Publication Date: Sep 2009 Quantity Note

2.		Temporal Verification of Reactive Systems Safety Author: Manna, Zohar Pnueli, Amir ISBN: 978-1-4612-8701-8 Book Format: Paperback List Price: AUD $273.95 Publisher: Springer Publication Date: Aug 2012 Quantity Note

3.		Temporal Verification of Reactive Systems Safety Author: Manna, Zohar Pnueli, Amir ISBN: 978-1-4612-4222-2 Book Format: Ebook List Price: USD $160.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

4.		The Temporal Logic of Reactive Systems Specification Author: Manna, Zohar Pnueli, Amir ISBN: 978-0-387-97664-8 Book Format: Hardback List Price: USD $119.99 Publisher: Springer New York Publication Date: Dec 1991 Quantity Note

5.		Perspectives of Systems Informatics 7th International Andrei Ershov Memorial... ISBN: 978-3-642-11485-4 Book Format: Paperback List Price: AUD $204.95 Publisher: Springer Publication Date: Feb 2010 Quantity Note

6.		Temporal Verification of Reactive Systems Safety Author: Manna, Zohar Pnueli, Amir ISBN: 978-0-387-94459-3 Book Format: Hardback List Price: USD $109.99 Publisher: Springer New York Publication Date: Aug 1995 Quantity Note

7.		Hybrid Systems Computation and Control - 6th International... ISBN: 978-3-540-00913-9 Book Format: Paperback List Price: AUD $248.95 Publisher: Springer Publication Date: Jan 2003 Quantity Note

8.		Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings ISBN: 978-3-540-51803-7 Book Format: Paperback List Price: AUD $203.95 Publisher: Springer Publication Date: Jan 1989 Quantity Note

9.		Perspectives of Systems Informatics 7th International Andrei Ershov Memorial... ISBN: 978-3-642-11486-1 Book Format: Ebook List Price: USD $129.00 Publisher: Springer Publication Date: Jan 2010 Quantity Note

10.		Temporal Verification of Reactive Systems Safety Author: Manna, Zohar Pnueli, Amir ISBN: 978-0-387-94459-3 Book Format: Hardback List Price: AUD $318.95 Publisher: Springer Publication Date: Jan 1995 Quantity Note

11.		Verification of Sequential and Concurrent Programs Author: Springer Apt, Krzysztof R. Olderog, Ernst-Rüdiger de Boer, Frank S. ISBN: 978-1-4471-2513-6 Book Format: Paperback List Price: AUD $157.95 Publisher: Springer Publication Date: Mar 2012 Quantity Note

12.		Verification of Sequential and Concurrent Programs Author: Springer Apt, Krzysztof R. Olderog, Ernst-Rüdiger de Boer, Frank S. ISBN: 978-1-4471-2513-6 Book Format: Paperback List Price: USD $89.99 Publisher: Springer London, Limited Publication Date: Mar 2012 Quantity Note

13.		Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague,... ISBN: 978-3-540-36580-8 Book Format: Ebook List Price: USD $149.00 Publisher: Springer Publication Date: Jul 2003 Quantity Note

14.		Perspectives of Systems Informatics 7th International Andrei Ershov Memorial... ISBN: 978-3-642-11485-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Feb 2010 Quantity Note

15.		The Temporal Logic of Reactive Systems Specification Author: Manna, Zohar Pnueli, Amir ISBN: 978-0-387-97664-8 Book Format: Hardback List Price: Contact Supplier contact Publisher: Springer Publication Date: Jan 1991 Quantity Note

16.		The Temporal Logic of Reactive and Concurrent Systems Specification Author: Manna, Zohar Pnueli, Amir ISBN: 978-1-4612-0931-7 Book Format: Ebook List Price: USD $169.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

17.		Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague,... ISBN: 978-3-540-36580-8 Book Format: Ebook List Price: Contact Supplier contact Publisher: Springer Publication Date: Jan 2003 Quantity Note

18.		The Temporal Logic of Reactive and Concurrent Systems Specification Author: Manna, Zohar Pnueli, Amir ISBN: 978-1-4612-6950-2 Book Format: Paperback List Price: USD $54.99 Publisher: Springer New York Publication Date: Oct 2012 Quantity Note

19.		Temporal Verification of Reactive Systems Safety Author: Manna, Zohar Pnueli, Amir ISBN: 978-1-4612-8701-8 Book Format: Paperback List Price: USD $119.99 Publisher: Springer New York Publication Date: Aug 2012 Quantity Note

20.		Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings ISBN: 978-3-540-51803-7 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 1989 Quantity Note