Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software
Author :
Publisher : Springer Science & Business Media
Total Pages : 660
Release :
ISBN-10 : 354063388X
ISBN-13 : 9783540633884
Rating : 4/5 (884 Downloads)

Book Synopsis Theoretical Aspects of Computer Software by : Martin Abadi

Download or read book Theoretical Aspects of Computer Software written by Martin Abadi and published by Springer Science & Business Media. This book was released on 1997-08-27 with total page 660 pages. Available in PDF, EPUB and Kindle. Book excerpt: Content Description #Includes bibliographical references and index.


Theoretical Aspects of Computer Software Related Books

Theoretical Aspects of Computer Software
Language: en
Pages: 660
Authors: Martin Abadi
Categories: Computers
Type: BOOK - Published: 1997-08-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Content Description #Includes bibliographical references and index.
Funding a Revolution
Language: en
Pages: 300
Authors: National Research Council
Categories: Computers
Type: BOOK - Published: 1999-02-11 - Publisher: National Academies Press

DOWNLOAD EBOOK

The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to
Theoretical Aspects of Computer Software
Language: en
Pages: 910
Authors: Masami Hagiya
Categories: Computers
Type: BOOK - Published: 1994-03-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April
Theoretical Aspects of Computer Software
Language: en
Pages: 573
Authors: Naoki Kobayashi
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity,
Theoretical Aspects of Computer Software
Language: en
Pages: 788
Authors: Takayasu Itō
Categories: Computers
Type: BOOK - Published: 1991-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contai