10% off all books and free delivery over £50
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Theoretical Aspects of Computer Software

View All Editions (1)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Theoretical Aspects of Computer Software Synopsis

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.

The following range of topics is covered:

  • logic, proof, specification and semantics of programs and languages
  • theories and models of concurrent, parallel and distributed computation
  • constructive logic, category theory, and type theory in computer science
  • theory-based systems for specifying, synthesizing, transforming, testing, and verifying software

About This Edition

ISBN: 9783540544159
Publication date:
Author: Takayasu Ito, Albert R Meyer
Publisher: Springer an imprint of Springer Berlin Heidelberg
Format: Paperback
Pagination: 776 pages
Series: Lecture Notes in Computer Science
Genres: Software Engineering
Mathematical theory of computation
Compilers and interpreters
Computer programming / software engineering

Frequently asked questions