Broy Manfred Ed (71 results)

Softcover

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

5-star seller

Pohl, Klaus (EDT); Broy, Manfred (EDT); Daembkes, Heinrich (EDT); Hönninger, Harald (EDT)

Condition: Used - As new

£ 36.98

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Advanced Model-based Engineering of Embedded Systems : Extensions of the Spes 2020 Methodology

Language: English

Published by Springer, 2018

Softcover

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

5-star seller

Pohl, Klaus (EDT); Hönninger, Harald (EDT); Achatz, Reinhold (EDT); Broy, Manfred (EDT)

Condition: New

£ 45.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Engineering of Embedded Systems : The Spes 2020 Methodology

Language: English

Published by Springer, 2014

Softcover

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

5-star seller

Broy, Manfred (EDT); Jonsson, Bengt (EDT); Katoen, Joost-Pieter (EDT); Leucker, Martin (EDT); Pretschner, Alexander (EDT)

Condition: New

£ 45.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Testing of Reactive Systems : Advanced Lectures

Language: English

Published by Springer, 2005

Softcover

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

5-star seller

Broy, Manfred (EDT); Kruger, Ingolf H. (EDT); Meisinger, Michael (EDT)

Condition: New

£ 47.16

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New.

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, Ca, USA, March 15-17, 2006, Revised Selected Papers

Language: English

Published by Springer, 2008

3540709290 / 9783540709299

Softcover

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

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: New

£ 47.84

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

354057316X / 9783540573166

Softcover

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

5-star seller

Böhm, Wolfgang (EDT); Broy, Manfred (EDT); Klein, Cornel (EDT); Pohl, Klaus (EDT); Rumpe, Bernhard (EDT)

Condition: New

£ 48.05

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Engineering of Collaborative Embedded Systems : Extensions of the Spes Methodology

Language: English

Published by Springer, 2020

3030621359 / 9783030621353

Hardcover

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

5-star seller

Broy, Manfred (EDT); Kruger, Ingolf (EDT); Meisinger, Michael (EDT)

Condition: New

£ 49.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New.

Automotive Software

Language: English

Published by Springer, 2006

3540376771 / 9783540376774

Softcover

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

5-star seller

Manfredbroy (EDT); INTERNATIONAL ANDREI ERSHOV MEMORIAL CON; Broy, Manfred; Zamulin, A. V.

Condition: New

£ 49.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Perspectives of System Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003 Akademgorodok, Novosibirsk, Russia, July 2003 Revised Papers

Language: English

Published by Springer, 2004

3540208135 / 9783540208136

Softcover

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

5-star seller

Broy, Manfred (EDT); Jonsson, Bengt (EDT); Katoen, Joost-Pieter (EDT); Leucker, Martin (EDT); Pretschner, Alexander (EDT)

Condition: New

£ 49.85

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Testing of Reactive Systems : Advanced Lectures

Language: English

Published by Springer, 2005

Softcover

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

5-star seller

Pohl, Klaus (EDT); Hönninger, Harald (EDT); Achatz, Reinhold (EDT); Broy, Manfred (EDT)

Condition: Used - As new

£ 50.68

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: As New. Unread book in perfect condition.

Model-based Engineering of Embedded Systems : The Spes 2020 Methodology

Language: English

Published by Springer, 2014

Softcover

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

5-star seller

Broy, Manfred (EDT); Kruger, Ingolf H. (EDT); Meisinger, Michael (EDT)

Condition: Used - As new

£ 51.91

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, Ca, USA, March 15-17, 2006, Revised Selected Papers

Language: English

Published by Springer, 2008

3540709290 / 9783540709299

Softcover

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

5-star seller

Broy, Manfred (EDT); Kruger, Ingolf (EDT); Meisinger, Michael (EDT)

Condition: Used - As new

£ 52.73

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Automotive Software

Language: English

Published by Springer, 2006

3540376771 / 9783540376774

Softcover

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

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: Used - As new

£ 53.90

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

354057316X / 9783540573166

Softcover

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

5-star seller

Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)

Condition: Used - As new

£ 54.62

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Systems Specification : The Rpc-Memory Specification Case Study

Language: English

Published by Springer, 1996

3540619844 / 9783540619840

Softcover

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

5-star seller

Broy, Manfred (EDT)/ Jonsson, Bengt (EDT)/ Katoen, Joost-Pieter (EDT)/ Leucker, Martin (EDT)/ Pretschner, Alexander (EDT)

Condition: Used - As new

£ 54.62

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Model-based Testing of Reactive Systems

Language: English

Published by Springer 2005-06-27, 2005

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Broy, Manfred (EDT); Jonsson, Bengt (EDT); Katoen, Joost-Pieter (EDT); Leucker, Martin (EDT); Pretschner, Alexander (EDT)

Condition: New

£ 43.09

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

PAPERBACK. Condition: New.

Model-based Testing of Reactive Systems : Advanced Lectures

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Böhm, Wolfgang (EDT); Broy, Manfred (EDT); Klein, Cornel (EDT); Pohl, Klaus (EDT); Rumpe, Bernhard (EDT)

Condition: New

£ 43.34

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: New.

Model-based Engineering of Collaborative Embedded Systems : Extensions of the Spes Methodology

Language: English

Published by Springer, 2020

3030621359 / 9783030621353

Hardcover

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

5-star seller

Broy (Ed.), Manfred und Gunther Schmidt (Ed.):

Condition: Used - As new

£ 58.32

£ 1.96 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: As New. Unread book in perfect condition.

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare (Nato Science Series C:, Vol. 91

Language: English

Published by Dordrecht ; Boston ; London : Reidel, 1982

9027714606 / 9789027714602

Hardcover

Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt

5-star seller

Pohl, Klaus (EDT); Honninger, Harald (EDT); Achatz, Reinhold (EDT); Broy, Manfred (EDT)

Condition: Used

£ 28.15

£ 35.87 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Hardcover/Pappeinband. XIII, 658 p.;ill. Good condition. Pages are slightly curled. Reading pages are clean and without marks. Book shows slight signs of storage and usage. Dust jacket with some storage signs. Still good copy. 9789027714602 Sprache: Englisch Gewicht in Gramm: 1021.

Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology

Language: English

Published by Springer, 2012

3642346138 / 9783642346132

Hardcover

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

5-star seller

Broy, Manfred (EDT); Jonsson, Bengt (EDT); Katoen, Joost-Pieter (EDT); Leucker, Martin (EDT); Pretschner, Alexander (EDT)

Condition: New

£ 63.97

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Testing of Reactive Systems : Advanced Lectures

Language: English

Published by Springer, 2005

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)

Condition: Used - As new

£ 49.19

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: As New. Unread book in perfect condition.

Formal Systems Specification : The Rpc-Memory Specification Case Study

Language: English

Published by Springer, 1996

3540619844 / 9783540619840

Softcover

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

5-star seller

Pohl, Klaus (EDT); Broy, Manfred (EDT); Daembkes, Heinrich (EDT); Hönninger, Harald (EDT)

Condition: New

£ 64.20

£ 1.96 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Advanced Model-based Engineering of Embedded Systems : Extensions of the Spes 2020 Methodology

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)

Condition: New

£ 50.32

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Systems Specification : The Rpc-Memory Specification Case Study

Language: English

Published by Springer, 1996

3540619844 / 9783540619840

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Bjørner, Dines; Broy, Manfred (EDT); Pottosin, Igor V.

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Language: English

Published by Springer, 1993

354057316X / 9783540573166

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Pohl, Klaus (EDT); Hönninger, Harald (EDT); Achatz, Reinhold (EDT); Broy, Manfred (EDT)

Condition: New

£ 50.45

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Engineering of Embedded Systems : The Spes 2020 Methodology

Language: English

Published by Springer, 2014

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Manfredbroy (EDT); INTERNATIONAL ANDREI ERSHOV MEMORIAL CON; Broy, Manfred; Zamulin, A. V.

Condition: New

£ 50.32

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Perspectives of System Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003 Akademgorodok, Novosibirsk, Russia, July 2003 Revised Papers

Language: English

Published by Springer, 2004

3540208135 / 9783540208136

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Broy, Manfred (EDT); Kruger, Ingolf (EDT); Meisinger, Michael (EDT)

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Automotive Software

Language: English

Published by Springer, 2006

3540376771 / 9783540376774

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Pohl, Klaus (EDT); Hönninger, Harald (EDT); Achatz, Reinhold (EDT); Broy, Manfred (EDT)

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Model-based Engineering of Embedded Systems : The Spes 2020 Methodology

Language: English

Published by Springer, 2014

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Pohl, Klaus (EDT); Broy, Manfred (EDT); Daembkes, Heinrich (EDT); Hönninger, Harald (EDT)

Condition: Used - As new

£ 55.64

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Advanced Model-based Engineering of Embedded Systems : Extensions of the Spes 2020 Methodology

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller