Related Books
Language: en
Pages: 538
Pages: 538
Type: BOOK - Published: 2023-05-04 - Publisher: Springer Nature
This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such a
Language: en
Pages: 1488
Pages: 1488
Type: BOOK - Published: 2007-08-09 - Publisher: CRC Press
A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their a
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 436
Pages: 436
Type: BOOK - Published: 1985-03 - Publisher: Springer
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2022-05-30 - Publisher:
This Festschrift is dedicated to Tom Maibaum on the occasion of his 70th birthday and on the occasion of his retirement. The Festschrift is also a follow up to