NU Learning Resource Center OPAC catalog › Details for: Theoretical foundations of computer science /

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 & Sons, c1987Description: xxv, 471 pages : illustrations ; 24 cmISBN: 0471838349Subject(s): MATHEMATICS -- 1961 | ELECTRONIC DATA PROCESSING -- MATHEMATICSLOC 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 ( 2 )
Title notes ( 3 )
Comments ( 0 )

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

Browsing National University - Manila shelves, Shelving location: Relegation Room, Collection: Secondary Education - Mathematics Close shelf browser (Hides shelf browser)

Previous								Next
Previous	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.1 Theoretical foundations of computer science /	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.