Related Books

Modular Specification and Verification of Object-Oriented Programs
Language: en
Pages: 297

Modular Specification and Verification of Object-Oriented Programs

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,
Verification: Theory and Practice
Language: en
Pages: 798

Verification: Theory and Practice

Authors: Nachum Dershowitz
Categories: Computers
Type: BOOK - Published: 2004-02-24 - Publisher: Springer

DOWNLOAD EBOOK

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 resear
ECOOP 2004 - Object-Oriented Programming
Language: en
Pages: 622

ECOOP 2004 - Object-Oriented Programming

Authors: Martin Odersky
Categories: Computers
Type: BOOK - Published: 2004-06-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004. Th
Specification, Algebra, and Software
Language: en
Pages: 675

Specification, Algebra, and Software

Authors: Shusaku Iida
Categories: Computers
Type: BOOK - Published: 2014-03-01 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a
Language: en
Pages: 6097

Authors:
Categories:
Type: BOOK - Published: - Publisher: IOS Press

DOWNLOAD EBOOK