Related Books
Language: en
Pages: 449
Pages: 449
Type: BOOK - Published: 2003-08-01 - Publisher: Springer
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establish
Language: en
Pages: 402
Pages: 402
Type: BOOK - Published: 2000-03-15 - Publisher: Springer Science & Business Media
ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998
Language: en
Pages: 543
Pages: 543
Type: BOOK - Published: 2004-03-19 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004,
Language: en
Pages: 497
Pages: 497
Type: BOOK - Published: 2012-03-09 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held a
Language: en
Pages: 425
Pages: 425
Type: BOOK - Published: 2007-12-03 - Publisher: Springer
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establ
