Data Collection and Privacy Policies

BU Library uses cookie or similar technologies to enhance your browsing experience as follows:

🍪 What are cookies?

Cookies are small text files placed on your browser by websites. They help make websites work, or work more efficiently. They also "remember" some of your preferences, so you don't have to set a preference again every time you switch to a different page on the same website.

If cookies are a concern for you, you may like to regularly clear your cookies on your browser or use a private browser mode. Check your browser settings for these options.

Use of Essential Cookies

BU Library uses essential cookies to ensure the core functionality of our library system, including user authentication, session management, and accessibility features. These cookies are strictly necessary for the website to function and cannot be disabled.

Here is the list of essential cookies used on the BU Library system.

Storage	Name	Value	Expiration	Description
Cookie	CGISESSID	Session ID	Until logout or end of session	Session cookie
Cookie	KohaOpacLanguage	Language code	3 years	Stores the language the user selected, so the online catalog will appear in that same language the next time it is visited.
Cookie	form_serialized form_serialized_limits	Search terms and limits	End of session or when the advanced search page is accessed again.	jQuery cookie. Stores search terms and limits of the last advanced search. Set when an advanced search is submitted.
Cookie	search_path_code	ads (fewer) or exs (more)	End of session or when the advanced search page is accessed again.	jQuery cookie. Related to serialized_form* cookies. Stores if the advanced search form was used with 'More options' or 'Fewer options'.
Cookie	num_paragraph	Count of search options added	End of session or when the advanced search page is accessed again.	jQuery cookie. Used to store the number of created options when user selects 'More options' in advanced search to increase search boxes.
Cookie	bib_list	List of record IDs (biblionumbers) separated by /	End of session or until the cart is emptied.	Stores cart contents in the online catalog. Set when records are added to the cart for the first time.

📶 Use of Google Analytics

BU Library uses Google Analytics to analyze website traffic and improve user experience. Google Analytics helps us understand how visitors interact with our website by collecting anonymous information such as:

Pages visited
Time spent on the site
Device type and browser
General geographic location (not precise)

How We Use This Data

We use Google Analytics data to:

Improve website navigation and user experience
Identify popular resources and services
Ensure our platform is accessible and user-friendly

Data Collection and Privacy

Google Analytics uses cookies to collect this information. However, no personally identifiable information (such as names or library account details) is shared with Google. The data is processed in accordance with Google’s Privacy Policy.

Essential

Essential cookies

Analytics

Google Analytics

Normal view MARC view ISBD view

Formal specification and verification of digital systems

By:

Miline, George J

Material type: Text

Text

TextPublication details: London : McGraw-Hill, 1994Description: 240Subject(s):

LOC classification:

TK7874.65 M55

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Books	BU Library and Learning Space	Books	Book Shelves	TK7874.65 M55 (Browse shelf(Opens below))	Available	150233

Total holds: 0

There are no comments on this title.

to post a comment.

Place hold
Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches
Search for this title in:
Find Books from Google Book Find Papers from Google Scholar Online Stores (Bookfinder.com) Citation Machine: APA style EasyBib: MLA style

Share this title:

Library Opening Hours

Mon. - Sat. : 8:30 - 20:00

Public Holidays : Closed

Sun. : Closed

Contact Us

9/1 Moo 5, Surat Osathanugrah Library (Building C6), Phaholyothin Road, Klong Nueng, Klong Luang, Pathumthani 12120

Phone : 02-407-3888 ext. 2701

E-mail : [email protected]

Knowledge Center

Learning Hub
BU Research
Internal Knowledge Base System