Related Books
Language: en
Pages: 546
Pages: 546
Type: BOOK - Published: 2004 - Publisher: Springer Science & Business Media
Language: en
Pages: 520
Pages: 520
Type: BOOK - Published: 2004-02-24 - Publisher: Springer
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and developm
Language: en
Pages: 239
Pages: 239
Type: BOOK - Published: 2004-01-29 - Publisher: Springer Science & Business Media
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and developm
Language: en
Pages: 466
Pages: 466
Type: BOOK - Published: 2003-11-24 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauen
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
