Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 69.23
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 67.20
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.61
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 78.50
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319682695 ISBN 13: 9783319682693
Seller: Revaluation Books, Exeter, United Kingdom
US$ 92.88
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 404 pages. 9.25x6.10x0.94 inches. In Stock.
Condition: New.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Sep 2017, 2017
ISBN 10: 3319682695 ISBN 13: 9783319682693
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319682695 ISBN 13: 9783319682693
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 117.95
Quantity: 1 available
Add to basketPaperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer International Publishing Sep 2017, 2017
ISBN 10: 3319682695 ISBN 13: 9783319682693
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods. 404 pp. Englisch.
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319682695 ISBN 13: 9783319682693
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed s former Ph.D. students and collaborators. The papers are a reflection on .
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. ModelEd, TestEd, TrustEd | Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday | Joost-Pieter Katoen (u. a.) | Taschenbuch | xii | Englisch | 2017 | Springer | EAN 9783319682693 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.