Normal view MARC view ISBD view

Theoretical foundations of computer science / Dino Mandrioli and Carlo Ghezzi

By:

Mandrioli, Dino [author]

Contributor(s):

Ghezzi, Carlo [co-author]

Material type: Text

TextPublication details: New York : John Wiley & Son, Inc., c1987Description: xxv, 471 pages : illustrations ; 24 cmISBN:

471838349

Subject(s):

MATHEMATICS -- 1961

LOC classification:

QA 39.2 .M36 1987

Contents:

Chapter 0. Mathematical Background -- Chapter 1. Models For Computer Science Automata And Grammars -- Chapter 2. Solvable And Unsolvable Problems -- Chapter 3. The Complexity Of Computing -- Chapter 4. Formal Semantics -- Chapter 5. Proving Program Properties -- Chapter 6. Nondeterminism And Parallel Computation.

Summary: The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses.

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	National University - Manila	LRC - Annex General Circulation	Secondary Education - Mathematics	GC QA 39.2 .M36 1987 c.1 (Browse shelf(Opens below))	c.1	Available		NULIB000002342
Books	National University - Manila	LRC - Annex Relegation Room	Secondary Education - Mathematics	GC QA 39.2 .M36 1987 c.2 (Browse shelf(Opens below))	c.2	Available		NULIB000002348

Browsing LRC - Annex shelves, Shelving location: Relegation Room, Collection: Secondary Education - Mathematics Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		No cover image available	Next
Previous	GC QA 39.2 .K64 1986 The only math book you'll ever need /	GC QA 39.2 .K73 1984 c.1 Fundamentals of technical mathematics with calculus /	GC QA 39.2 .K73 1984 c.2 Fundamentals of technical mathematics with calculus /	GC QA 39.2 .M36 1987 c.2 Theoretical foundations of computer science /	GC QA 39.2 .N53 1987 Discrete mathematics : a bridge to computer science and advanced mathematics /	GC QA 39.2 .P65 1985 Foundations of discrete mathematics /	GC QA 39.2 .P76 1986 Basic mathematics /	Next

Includes index.

The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses.

There are no comments on this title.

to post a comment.