model-checking Books

1.

Model Checking

Author:: Clarke, Edmund M.
Grumberg, Orna
Peled, Doron

ISBN:: 978-0-262-03270-4

Book Format:: Hardback

List Price:: AUD $173.00

Publisher:: MIT Press

Publication Date:: Dec 1999

2.

Model Checking

Author:: Clarke, Edmund M.
Grumberg, Orna
Peled, Doron

ISBN:: 978-0-262-03270-4

Book Format:: Hardback

List Price:: USD $75.00

Publisher:: MIT Press

Publication Date:: Dec 1999

3.

Model Checking

Author:: Clarke, E. M.
Grumberg, Orna
Peled, Doron

ISBN:: 978-0-585-38558-7

Book Format:: Ebook

List Price:: USD $60.00

Publisher:: MIT Press

Publication Date:: Jan 1999

4.

Model-Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-48430-5

Book Format:: Hardback

List Price:: AUD $94.95

Publisher:: Cambridge University Press

Publication Date:: Feb 2021

5.

Model-Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-48430-5

Book Format:: Hardback

List Price:: USD $71.99

Publisher:: Cambridge University Press

Publication Date:: Feb 2021

6.

Model Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-75540-5

Book Format:: Ebook

List Price:: USD $52.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2021

7.

Model Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-75540-5

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Jan 2021

8.

Model Checking, Second Edition

Author:: Clarke, Edmund M.
Grumberg, Orna
Kroening, Daniel
Peled, Doron
Veith, Helmut

ISBN:: 978-0-262-03883-6

Book Format:: Hardback

List Price:: AUD $150.00

Publisher:: MIT Press

Publication Date:: Dec 2018

9.

Model Checking, Second Edition

Author:: Clarke, Edmund M.
Grumberg, Orna
Kroening, Daniel
Peled, Doron
Veith, Helmut

ISBN:: 978-0-262-03883-6

Book Format:: Hardback

List Price:: USD $75.00

Publisher:: MIT Press

Publication Date:: Dec 2018

10.

Symbolic Model Checking

Author:: McMillan, Kenneth L.

ISBN:: 978-0-7923-9380-1

Book Format:: Hardback

List Price:: AUD $181.95

Publisher:: Springer London, Limited

Publication Date:: Jan 1993

11.

Abstraction Refinement for Large Scale Model Check... - a book by Wang, Chao

Abstraction Refinement for Large Scale Model Checking

Author:: Wang, Chao
Hachtel, Gary D.
Somenzi, Fabio

ISBN:: 978-0-387-34155-2

Book Format:: Hardback

List Price:: USD $109.99

Publisher:: Springer

Publication Date:: Jul 2006

12.

Abstraction Refinement for Large Scale Model Checking

Author:: Wang, Chao
Hachtel, Gary D.
Somenzi, Fabio

ISBN:: 978-0-387-34155-2

Book Format:: Hardback

List Price:: AUD $290.95

Publisher:: Springer

Publication Date:: Jan 2006

13.

Model Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-61332-3

Book Format:: Digital (delivered electronically)

List Price:: USD $225.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2021

14.

Model Checking Quantum Systems

Principles and Algorithms

Author:: Ying, Mingsheng
Feng, Yuan

ISBN:: 978-1-108-61332-3

Book Format:: Digital (delivered electronically)

List Price:: AUD $270.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2021

15.

Symbolic Model Checking

Author:: McMillan, Kenneth L.

ISBN:: 978-0-7923-9380-1

Book Format:: Hardback

List Price:: USD $94.00

Publisher:: Springer

Publication Date:: Jul 1993

16.

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010,...

ISBN:: 978-3-642-11318-5

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jan 2010

17.

Model Checking Software

9th International SPIN Workshop, Grenoble,...

ISBN:: 978-3-540-43477-1

Book Format:: Paperback

List Price:: AUD $158.95

Publisher:: Springer

Publication Date:: Jan 2002

18.

Model Checking Software

11th International SPIN Workshop, Barcelona,...

ISBN:: 978-3-540-21314-7

Book Format:: Paperback

List Price:: AUD $158.95

Publisher:: Springer

Publication Date:: Jan 2004

19.

SPIN Model Checking and Software Verification

7th International SPIN Workshop, Stanford,...

Author:: SPIN 2000 Staff

ISBN:: 978-3-540-41030-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Aug 2000

20.

Model Checking Software

10th International SPIN Workshop, Portland,...

ISBN:: 978-3-540-40117-9

Book Format:: Paperback

List Price:: AUD $158.95

Publisher:: Springer

Publication Date:: Jan 2003

Books » All » model-checking

Related Keywords

Refine Options

Featured Books


1.		Model Checking Author: Clarke, Edmund M. Grumberg, Orna Peled, Doron ISBN: 978-0-262-03270-4 Book Format: Hardback List Price: AUD $173.00 Publisher: MIT Press Publication Date: Dec 1999 Quantity Note

2.		Model Checking Author: Clarke, Edmund M. Grumberg, Orna Peled, Doron ISBN: 978-0-262-03270-4 Book Format: Hardback List Price: USD $75.00 Publisher: MIT Press Publication Date: Dec 1999 Quantity Note

3.		Model Checking Author: Clarke, E. M. Grumberg, Orna Peled, Doron ISBN: 978-0-585-38558-7 Book Format: Ebook List Price: USD $60.00 Publisher: MIT Press Publication Date: Jan 1999 Quantity Note

4.		Model-Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-48430-5 Book Format: Hardback List Price: AUD $94.95 Publisher: Cambridge University Press Publication Date: Feb 2021 Quantity Note

5.		Model-Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-48430-5 Book Format: Hardback List Price: USD $71.99 Publisher: Cambridge University Press Publication Date: Feb 2021 Quantity Note

6.		Model Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-75540-5 Book Format: Ebook List Price: USD $52.00 Publisher: Cambridge University Press Publication Date: Jan 2021 Quantity Note

7.		Model Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-75540-5 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Jan 2021 Quantity Note

8.		Model Checking, Second Edition Author: Clarke, Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut ISBN: 978-0-262-03883-6 Book Format: Hardback List Price: AUD $150.00 Publisher: MIT Press Publication Date: Dec 2018 Quantity Note

9.		Model Checking, Second Edition Author: Clarke, Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut ISBN: 978-0-262-03883-6 Book Format: Hardback List Price: USD $75.00 Publisher: MIT Press Publication Date: Dec 2018 Quantity Note

10.		Symbolic Model Checking Author: McMillan, Kenneth L. ISBN: 978-0-7923-9380-1 Book Format: Hardback List Price: AUD $181.95 Publisher: Springer London, Limited Publication Date: Jan 1993 Quantity Note

11.		Abstraction Refinement for Large Scale Model Checking Author: Wang, Chao Hachtel, Gary D. Somenzi, Fabio ISBN: 978-0-387-34155-2 Book Format: Hardback List Price: USD $109.99 Publisher: Springer Publication Date: Jul 2006 Quantity Note

12.		Abstraction Refinement for Large Scale Model Checking Author: Wang, Chao Hachtel, Gary D. Somenzi, Fabio ISBN: 978-0-387-34155-2 Book Format: Hardback List Price: AUD $290.95 Publisher: Springer Publication Date: Jan 2006 Quantity Note

13.		Model Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-61332-3 Book Format: Digital (delivered electronically) List Price: USD $225.00 Publisher: Cambridge University Press Publication Date: Jan 2021 Quantity Note

14.		Model Checking Quantum Systems Principles and Algorithms Author: Ying, Mingsheng Feng, Yuan ISBN: 978-1-108-61332-3 Book Format: Digital (delivered electronically) List Price: AUD $270.00 Publisher: Cambridge University Press Publication Date: Jan 2021 Quantity Note

15.		Symbolic Model Checking Author: McMillan, Kenneth L. ISBN: 978-0-7923-9380-1 Book Format: Hardback List Price: USD $94.00 Publisher: Springer Publication Date: Jul 1993 Quantity Note

16.		Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010,... ISBN: 978-3-642-11318-5 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Jan 2010 Quantity Note

17.		Model Checking Software 9th International SPIN Workshop, Grenoble,... ISBN: 978-3-540-43477-1 Book Format: Paperback List Price: AUD $158.95 Publisher: Springer Publication Date: Jan 2002 Quantity Note

18.		Model Checking Software 11th International SPIN Workshop, Barcelona,... ISBN: 978-3-540-21314-7 Book Format: Paperback List Price: AUD $158.95 Publisher: Springer Publication Date: Jan 2004 Quantity Note

19.		SPIN Model Checking and Software Verification 7th International SPIN Workshop, Stanford,... Author: SPIN 2000 Staff ISBN: 978-3-540-41030-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Aug 2000 Quantity Note

20.		Model Checking Software 10th International SPIN Workshop, Portland,... ISBN: 978-3-540-40117-9 Book Format: Paperback List Price: AUD $158.95 Publisher: Springer Publication Date: Jan 2003 Quantity Note