Leue Stefan (53 results)

Language: English

Published by Springer, 2005

Softcover

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

5-star seller

Condition: New

£ 48.40

£ 1.95 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.42

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

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

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.

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

£ 49.65

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Industrial Critical Systems

Language: English

Published by Springer, 2008

Softcover

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

5-star seller

Condition: New

£ 51.67

Free Shipping

Ships within U.S.A.

Quantity: 10 available

Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Scenarios: Models, Transformations and Tools

Language: English

Published by Springer, 2005

Softcover

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

5-star seller

Condition: New

£ 51.67

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Theoretical and Practical Aspects of SPIN Model Ch

Language: English

Published by Springer, 1999

Softcover

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

5-star seller

Condition: New

£ 51.67

Free Shipping

Ships within U.S.A.

Quantity: 10 available

Condition: Brand New. New. Delivery takes 25-30 days. 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

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

£ 50.54

£ 1.95 shipping

Ships within 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

International Spin Workshop 2002; Leue, Stefan (EDT)

Condition: Used - As new

£ 52.86

£ 1.95 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

£ 52.86

£ 1.95 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

£ 58.37

£ 2.94 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

£ 57.13

£ 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

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, 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

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

Leue, Stefan

Language: English

Published by Springer 2008-05, 2008

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

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

£ 47.69

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

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

Syst? Tarja J. Leue Stefan

Condition: New

£ 50.19

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Scenarios

Language: English

Published by Springer, 2005

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Condition: Used

£ 60.45

£ 8.51 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Condition: Used. pp. 296.

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

£ 54.44

£ 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.90

£ 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

£ 56.56

£ 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.11

£ 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

£ 65.28

£ 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.36

£ 1.95 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.30

£ 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