Books By Apt, Krzysztof R.

1.

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011,...

ISBN:: 978-3-642-35886-9

Book Format:: Paperback

List Price:: AUD $121.95

Publisher:: Springer

Publication Date:: Jan 2013

2.

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz,...

ISBN:: 978-3-642-25270-9

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Dec 2011

3.

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004,...

ISBN:: 978-3-540-31939-9

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Springer London, Limited

Publication Date:: Sep 2005

4.

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

5.

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz,...

ISBN:: 978-3-642-25271-6

Book Format:: Ebook

List Price:: USD $89.99

Publisher:: Springer

Publication Date:: Dec 2011

6.

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006,...

ISBN:: 978-3-540-74792-5

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Springer

Publication Date:: Jan 2008

7.

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009,...

ISBN:: 978-3-642-17071-3

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Springer

Publication Date:: Nov 2010

8.

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012,...

ISBN:: 978-3-642-40614-0

Book Format:: Paperback

List Price:: AUD $103.95

Publisher:: Springer

Publication Date:: Aug 2013

9.

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz,...

ISBN:: 978-3-642-25270-9

Book Format:: Paperback

List Price:: AUD $135.95

Publisher:: Springer

Publication Date:: Mar 2012

10.

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011,...

ISBN:: 978-3-642-35887-6

Book Format:: Ebook

List Price:: USD $83.00

Publisher:: Springer

Publication Date:: Jan 2013

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.

Theoretical Computer Science

7th IFIP TC1/WG 2. 2 International...

ISBN:: 978-3-642-33474-0

Book Format:: Paperback

List Price:: AUD $160.95

Publisher:: Springer

Publication Date:: Aug 2012

14.

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012,...

ISBN:: 978-3-642-40615-7

Book Format:: Ebook

List Price:: USD $72.00

Publisher:: Springer

Publication Date:: Aug 2013

15.

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004,...

ISBN:: 978-3-540-29131-2

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Sep 2005

16.

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012,...

ISBN:: 978-3-642-40614-0

Book Format:: Paperback

List Price:: USD $49.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Aug 2013

17.

Theoretical Computer Science

7th IFIP TC1/WG 2. 2 International...

ISBN:: 978-3-642-33475-7

Book Format:: Ebook

List Price:: USD $108.00

Publisher:: Springer

Publication Date:: Sep 2012

18.

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6. 1 International Conference,...

ISBN:: 978-3-540-68862-4

Book Format:: Paperback

List Price:: AUD $157.95

Publisher:: Springer

Publication Date:: May 2008

19.

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6. 1 International Conference,...

ISBN:: 978-3-540-68862-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: May 2008

20.

Theoretical Computer Science

7th IFIP TC1/WG 2. 2 International...

ISBN:: 978-3-642-33474-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Aug 2012

Books » Apt, Krzysztof R. Books » Books By Apt, Krzysztof R.

Related Keywords

Refine Options

Featured Books


1.		Formal Methods for Components and Objects 10th International Symposium, FMCO 2011,... ISBN: 978-3-642-35886-9 Book Format: Paperback List Price: AUD $121.95 Publisher: Springer Publication Date: Jan 2013 Quantity Note

2.		Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz,... ISBN: 978-3-642-25270-9 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Dec 2011 Quantity Note

3.		Formal Methods for Components and Objects Third International Symposium, FMCO 2004,... ISBN: 978-3-540-31939-9 Book Format: Ebook List Price: USD $99.00 Publisher: Springer London, Limited Publication Date: Sep 2005 Quantity Note

4.		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

5.		Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz,... ISBN: 978-3-642-25271-6 Book Format: Ebook List Price: USD $89.99 Publisher: Springer Publication Date: Dec 2011 Quantity Note

6.		Formal Methods for Components and Objects 5th International Symposium, FMCO 2006,... ISBN: 978-3-540-74792-5 Book Format: Ebook List Price: USD $99.00 Publisher: Springer Publication Date: Jan 2008 Quantity Note

7.		Formal Methods for Components and Objects 8th International Symposium, FMCO 2009,... ISBN: 978-3-642-17071-3 Book Format: Ebook List Price: USD $99.00 Publisher: Springer Publication Date: Nov 2010 Quantity Note

8.		Formal Methods for Components and Objects 11th International Symposium, FMCO 2012,... ISBN: 978-3-642-40614-0 Book Format: Paperback List Price: AUD $103.95 Publisher: Springer Publication Date: Aug 2013 Quantity Note

9.		Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz,... ISBN: 978-3-642-25270-9 Book Format: Paperback List Price: AUD $135.95 Publisher: Springer Publication Date: Mar 2012 Quantity Note

10.		Formal Methods for Components and Objects 10th International Symposium, FMCO 2011,... ISBN: 978-3-642-35887-6 Book Format: Ebook List Price: USD $83.00 Publisher: Springer Publication Date: Jan 2013 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.		Theoretical Computer Science 7th IFIP TC1/WG 2. 2 International... ISBN: 978-3-642-33474-0 Book Format: Paperback List Price: AUD $160.95 Publisher: Springer Publication Date: Aug 2012 Quantity Note

14.		Formal Methods for Components and Objects 11th International Symposium, FMCO 2012,... ISBN: 978-3-642-40615-7 Book Format: Ebook List Price: USD $72.00 Publisher: Springer Publication Date: Aug 2013 Quantity Note

15.		Formal Methods for Components and Objects Third International Symposium, FMCO 2004,... ISBN: 978-3-540-29131-2 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Sep 2005 Quantity Note

16.		Formal Methods for Components and Objects 11th International Symposium, FMCO 2012,... ISBN: 978-3-642-40614-0 Book Format: Paperback List Price: USD $49.99 Publisher: Springer Berlin / Heidelberg Publication Date: Aug 2013 Quantity Note

17.		Theoretical Computer Science 7th IFIP TC1/WG 2. 2 International... ISBN: 978-3-642-33475-7 Book Format: Ebook List Price: USD $108.00 Publisher: Springer Publication Date: Sep 2012 Quantity Note

18.		Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6. 1 International Conference,... ISBN: 978-3-540-68862-4 Book Format: Paperback List Price: AUD $157.95 Publisher: Springer Publication Date: May 2008 Quantity Note

19.		Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6. 1 International Conference,... ISBN: 978-3-540-68862-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: May 2008 Quantity Note

20.		Theoretical Computer Science 7th IFIP TC1/WG 2. 2 International... ISBN: 978-3-642-33474-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Aug 2012 Quantity Note