Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering. Read More

This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering. Read Less

• All from $13.97
• New Books from $43.63
• Used Books from $13.97
• 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 24, 2025) 60 Day Rental: $22.00 (Expires Feb 23, 2025) 90 Day Rental: $27.50 (Expires Mar 25, 2025) 120 Day Rental: $33.00 (Expires Apr 24, 2025) 180 Day Rental: $35.75 (Expires Jun 23, 2025) Buy eBook Lifetime Access: $54.99 Title: Specification and Development of Interactive Systems by Manfred Broy; Ketil Stølen Publisher: Springer Nature Print ISBN: 9780387950730, 0387950737 eText ISBN: 9781461300915 Edition: 2001 2001 edition Format: PDF 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