Leue Stefan (51 results)

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 48.34

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Scenarios: Models, Transformations And Tools

Language: English

Published by Springer, 2005

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 50.38

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Scenarios: Models, Transformations And Tools

0

Language: English

Published by Springer, 2005

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Condition: New

£ 50.79

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Scenarios : Models, Transformations And Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Selected Papers

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Leue, Stefan (EDT); Merino, Pedro (EDT)

Condition: Used - As new

£ 50.95

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Language: English

Published by Springer, 2008

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: Used - As new

£ 53.11

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

International Spin Workshop 2002; Leue, Stefan (EDT)

Condition: Used - As new

£ 53.30

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings

Language: English

Published by Springer, 2002

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 53.30

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Scenarios

Language: English

Published by Springer, 2005

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: Used

£ 53.46

£ 2.98 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 296.

Scenarios

Language: English

Published by Springer, 2005

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: Used

£ 51.75

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: Used. pp. 296 Illus.

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916)

Language: English

Published by Springer, 2008

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)

Language: English

Published by Springer, 1999

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3466)

Language: English

Published by Springer, 2005

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Syst? Tarja J. Leue Stefan

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Scenarios

Language: English

Published by Springer, 2005

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Condition: Used

£ 55.34

£ 8.48 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Condition: Used. pp. 296.

Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Leue, Stefan

Language: English

Published by Springer 2008-05, 2008

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 47.69

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Se

Dams, Dennis

Language: English

Published by Springer 1999-09, 1999

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 47.71

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Leue, Stefan

Language: English

Published by Springer 2005-06, 2005

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Leue, Stefan (EDT); Merino, Pedro (EDT)

Condition: New

£ 47.71

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Language: English

Published by Springer, 2008

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: New

£ 64.19

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 64.19

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Scenarios : Models, Transformations And Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Selected Papers

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: New

£ 50.19

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.19

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Scenarios : Models, Transformations And Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Selected Papers

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: Used - As new

£ 55.14

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

International Spin Workshop 2002; Leue, Stefan (EDT)

Condition: Used - As new

£ 55.93

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings

Language: English

Published by Springer, 2002

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

International Spin Workshop 2002/ Leue, Stefan (Editor)

Condition: Used - As new

£ 57.42

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)

Language: English

Published by Springer Verlag, 2002

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Leue, Stefan (Editor)/ Merino, Pedro (Editor)

Condition: New

£ 65.98

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 259 pages. 9.00x6.00x0.75 inches. In Stock.

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Language: English

Published by Springer-Verlag New York Inc, 2008

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

International Spin Workshop 2002; Leue, Stefan (EDT)

Condition: New

£ 66.15

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 251 pages. 9.00x6.00x0.55 inches. In Stock.

Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings

Language: English

Published by Springer, 2002

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

International Spin Workshop 2002; Leue, Stefan (EDT)

Condition: New

£ 77.95

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings

Language: English

Published by Springer, 2002

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 63.32

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science, 2318)

Language: English

Published by Springer, 2002

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Dams, Dennis|Gerth, Robert|Leue, Stefan

Condition: New

£ 69.23

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Theoretical and Practical Aspects of SPIN Model Checking

Language: English

Published by Springer Berlin Heidelberg, 1999

Softcover

Seller: moluna, Greven, Germanymoluna

5-star seller

Leue, Stefan|Systä, Tarja J.

Condition: New

£ 42.48

£ 41.78 shipping

Ships from Germany to U.S.A.

Quantity: Over 20 available

Condition: New.

Scenarios: Models, Transformations and Tools

Language: English

Published by Springer Berlin Heidelberg, 2005

Softcover

Seller: moluna, Greven, Germanymoluna

5-star seller