Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

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, ... Read More

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. Read Less

• All from $16.50
• New Books from $51.64
• Used Books from $58.48
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jan 14, 2025) 60 Day Rental: $22.00 (Expires Feb 13, 2025) 90 Day Rental: $27.50 (Expires Mar 15, 2025) 120 Day Rental: $33.00 (Expires Apr 14, 2025) 180 Day Rental: $35.75 (Expires Jun 13, 2025) Buy eBook Lifetime Access: $54.99 Title: Modeled, Tested, Trusted Publisher: Springer Nature Print ISBN: 9783319682693, 3319682695 eText ISBN: 9783319682709 Edition: 2017 2017 edition Format: EPUB eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ