Items related to ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma...
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Programming and Software Engineering) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2017
- ISBN 10 3319682695
- ISBN 13 9783319682693
- BindingPaperback
- Edition number1
- Number of pages403
- EditorKatoen Joost-Pieter, Langerak Rom, Rensink Arend
Buy New
Learn more about this copy
US$ 56.18
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) [Paperback ]
Seller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Soft Cover. Condition: NEW. Seller Inventory # 9783319682693
Quantity: 10 available
Seller Image
Modeled, Tested, Trusted : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # 30001694-n
Quantity: 5 available
Stock Image
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # ABLIING23Mar3113020103160
Quantity: Over 20 available
Seller Image
Modeled, Tested, Trusted : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: USED_ASNEW. Unread book in perfect condition. Seller Inventory # 30001694
Quantity: 5 available
Stock Image
ModelEd; TestEd; TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783319682693_lsuk
Quantity: Over 20 available
Seller Image
ModelEd, TestEd, TrustEd
Published by
Springer International Publishing Sep 2017, 2017
ISBN 10: 3319682695
ISBN 13: 9783319682693
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: NEW. 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. Seller Inventory # 9783319682693
Quantity: 2 available
Seller Image
Modeled, Tested, Trusted : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # 30001694-n
Quantity: 5 available
Stock Image
Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Published by
Springer-Verlag New York Inc, 2017
ISBN 10: 3319682695
ISBN 13: 9783319682693
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: NEW. 404 pages. 9.25x6.10x0.94 inches. In Stock. Seller Inventory # x-3319682695
Quantity: 2 available
Stock Image
Modeled, Tested, Trusted : Essays Dedica
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # V9783319682693
Quantity: 15 available
Seller Image
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Published by
Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319682695
ISBN 13: 9783319682693
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: NEW. 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 Inventory # 9783319682693
Quantity: 1 available