Library Working Hours During Recess
Monday to Friday	09:00 AM - 07:00 PM
Saturday	09:00 AM - 05:00 PM
Sundays & Holidays	Closed

Patron Checkouts
Patrons	No. of Books Issued	Loan Period	Overdue Charges
Faculty	25	6 months	Nil
Students	10	2 Weeks	Re. 1 Per Book Per Day
Research Scholars	15	30 Days	Nil
Staff	5	30 Days	Nil

Image from Amazon.com

Normal view MARC view ISBD view

Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson

By:

Nielson, Hanne Riis

Contributor(s):

Nielson, Flemming., jt. auth

Material type: Text

TextLanguage: ENG Publication details: NY Springer 2007Description: 274 pISBN:

9788184897487

Subject(s):

DDC classification:

005.131 NIE-H

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Books	BITS Pilani Hyderabad	003-007	General Stack (For lending)	005.131 NIE-H (Browse shelf(Opens below))	Available		11768

Total holds: 0

Browsing BITS Pilani Hyderabad shelves, Shelving location: General Stack (For lending), Collection: 003-007 Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.13 WAN-W Pro iPhone development with Swift 5 : design and manage top quality apps /	005.13 WIC-H Advanced R /	005.131 LIN-P Introduction to formal languages and automata /	005.131 NIE-H Semantics with applications : an appetizer /	005.131 RIC-D Logic and language models for computer science /	005.131 SRI-E Formal languages and automata theory /	005.133 ACH-S Reimagining data visualization using Python /	Next

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

There are no comments on this title.

to post a comment.