Related Books
Language: en
Pages: 574
Pages: 574
Type: BOOK - Published: 2019-10-08 - Publisher: Springer Nature
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of
Language: en
Pages: 538
Pages: 538
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 1997-09-23 - Publisher: Springer Science & Business Media
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the
Language: en
Pages: 375
Pages: 375
Type: BOOK - Published: 2014-05-14 - Publisher:
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code q
Language: en
Pages: 735
Pages: 735
Type: BOOK - Published: 2007-06-01 - Publisher: Springer Science & Business Media
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in thi
