Details for: Formal models and semantics / › Matheson Library catalog

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Formal models and semantics / edited by Jan van Leeuwen.

Contributor(s):

Van Leeuwen, Jan

Material type: Text

Text

TextSeries: Handbook of theoretical computer science ; vol. BPublication details: Amsterdam : Elsevier, 1990.Description: 2 volsISBN:

0444880755 (Set)

Subject(s):

Computer science

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	Collection	Call number	Status	Date due	Barcode
Books	Matheson Library Main Collection	Main Collection	004 F723 (Browse shelf(Opens below))	Available		082191
Books	Matheson Library Main Collection	Main Collection	004 F723 (Browse shelf(Opens below))	Available		083007

Browsing Matheson Library shelves, Shelving location: Main Collection, Collection: Main Collection Close shelf browser (Hides shelf browser)

Previous		No cover image available	No cover image available					Next
Previous	004 D578 LaTeX line by line : tips and techniques for document processing /	004 D751c 1988 Computers and microprocessors: components and systems /	004 E78 Principles of business data processing /	004 F723 Formal models and semantics /	004 F723 Formal models and semantics /	004 H218 Use business technology BSBCMN205 /	004 H236 Handbook of information technology and office systems /	Next

Recommended text : MA488/ MAP467 (Maths & Computer Science)

There are no comments on this title.

to post a comment.

Share