Logics of Specification Languages by Dines Bjorner

By: Bjorner, DContributor(s): Henson, Martin CMaterial type: TextTextPublication details: Berlin Springer Verlag, Netherlands 2008Description: XXI, 623pISBN: 9783540741060Subject(s): Logic, Symbolic and mathematical | Programming languages (Electronic computers) - SemanticsDDC classification: 005.13 BJO
Contents:
<p>Table of Contents:</p> <p>Part&nbsp
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Vol info Status Date due Barcode Item holds
REFERENCE BOOK REFERENCE BOOK LRC_JUIT
Computer Science & Engineering 		REFERENCE SECTION REF 005.13 BJO (Browse shelf (Opens below)) Copy 1 Not for loan 027638
Total holds: 0

<p>Table of Contents:</p>

<p>Part&nbsp

There are no comments on this title.

to post a comment.

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha