Related Books

Modular Specification and Verification of Object-Oriented Programs
Language: en
Pages: 297
Authors: Peter Müller
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,
Modular Specification and Verification of Object-Oriented Programs
Language: en
Pages: 298
Authors: Peter Müller
Categories: Computers
Type: BOOK - Published: 2002-01-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,
ECOOP 2004 - Object-Oriented Programming
Language: en
Pages: 622
Authors: Martin Odersky
Categories: Computers
Type: BOOK - Published: 2004-11-24 - Publisher: Springer

DOWNLOAD EBOOK

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of dis
ECOOP 2008 - Object-Oriented Programming
Language: en
Pages: 705
Authors: Jan Vitek
Categories: Computers
Type: BOOK - Published: 2008-07-10 - Publisher: Springer

DOWNLOAD EBOOK

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference c
ECOOP - Object-Oriented Programming
Language: en
Pages: 637
Authors: Erik Ernst
Categories: Computers
Type: BOOK - Published: 2007-08-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/Augus