Logics of specification languages

Contributor(s): | Bjorner, Dines | Bjorner, DinesLanguage: English Series: Monographs in theoretical computer science : an EATCS seriesPublication details: Berlin ; Springer ; 2008Edition: Description: xxi,623 p; 24 cmISBN: 978-3-540-74106-0Subject(s): | Computer Science and Engineering | Programming languages(Electronic computers)-Semantics , Login, Symbolic and mathematical
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3.06:517.1Log Available G56A07 215510
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha