Bootstrap Example

FCIT Library University of The Punjab Lahore Pakistan

Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS Make a Dropdown Menu using Internal CSS

Cover image

Normal view MARC view ISBD view

Principles of Model Checking

By: Baier, Chirstel.

Contributor(s): Joost-Pieter Katoen.

Material type: materialTypeLabel

materialTypeLabel

BookPublisher: UK The MIT Press 2008ISBN: 9780262026499.DDC classification: 004.24

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 )

Item type	Current location	Call number	Status	Date due	Barcode
	FCITNC General Stacks	004.24 BAI (Browse shelf)	Available		12163

Browsing FCITNC Shelves , Shelving location: General Stacks Close shelf browser

Previous								Next
Previous	004.22 STA Computer Organization and Architecture	004.22 STA Computer Organization and Architecture	004.22 STA Computer Organization and Architecture	004.24 BAI Principles of Model Checking	004.25 EVI A UML Patren language	004.25 FOW UML Distilled	004.25 RIC Designing Flexible Object Oriented Systems With UML	Next

There are no comments for this item.

Log in to your account to post a comment.

Share

Designed, Developed & Maintained by: Muhammad Akram Rana, Email:library.oc@pucit.edu.pk (Copyright©PUFCIT 2022)

Powered by Koha