Electronic Books

Total Books: 1 - 6 /6
ECOOP 2005 - Object-Oriented Programming

The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...

Weiterlesen
FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

Weiterlesen
FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

Weiterlesen
Object-Oriented Technology. ECOOP 2004 Workshop Reader

This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with ...

Weiterlesen
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

Weiterlesen
Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Weiterlesen
Total Books: 1 - 6 /6