Related Books

Algorithms - ESA '94
Language: en
Pages: 536
Authors: Jan van Leeuwen
Categories: Computers
Type: BOOK - Published: 1994-09-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book brings together recent developments in Alzheimer's disease research with related discoveries in the field of cell biology. The book moves between basi
Self-Stabilizing Systems
Language: en
Pages: 237
Authors: Ajoy K. Datta
Categories: Business & Economics
Type: BOOK - Published: 2001-09-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Workshop on Self-Stabilizing Systems, WSS 2001, held in Lisbon, Portugal, in October 200
Multimedia Transport and Teleservices
Language: en
Pages: 406
Authors: David Hutchison
Categories: Technology & Engineering
Type: BOOK - Published: 1994-11-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the International COST 237 Workshop, held in Vienna in November 1994 in the framework of the CEC COST 237 Multimedia Tel
Formal Methods for Components and Objects
Language: en
Pages: 517
Authors: Frank S.de Boer
Categories: Computers
Type: BOOK - Published: 2003-10-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2
Logics of Specification Languages
Language: en
Pages: 624
Authors: Dines Bjørner
Categories: Mathematics
Type: BOOK - Published: 2007-12-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi