Skip to main content
DCT's Dhempe College of Arts and Science
Your cart is empty.
Cart
Lists
Public lists
KONKANI NOVELS
Lambert Mascarenhas
JAYANTI NAIK
Bakibab Borkar
Religion
RESEARCH METHODOLOGY
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All libraries
(Deleted) Don Bosco College, Panjim Goa
Carmel College Library
Dempo Charities Trusts Dhempe College of Arts & Science , Miramar - Panaji
DMC -Dnyanprassarak Mandals College and Research Centre, Assagao, Bardez
Don Bosco College of Agriculture, Sulcorna Quepem Goa
Don Bosco College, Panjim Goa, India
DPM's SHREE MALLIKARJUN & Shri Chetan Manju Desai College, Delem - Canacona
Fr. Agnel college of Arts & Commerce, Pillar
G. R. Kare College of Law, Comba, Margao
G. V. Ms Dr. Dada Vaidya College of Education Ponda
G.V.M's Gopal Govind Poy Raitucar College of Commerce & Economics, Farmagudi, Ponda
Goa College of Agriculture
Goa College of Home Science, Campal, Panaji
Goa college of Music, Altinho, Panaji
Government College of Arts, Science & Commerce, Khandola, Marcela
Government College of Arts, Science and Commerce, Quepem
Government College of Arts, Science and Commerce, Sanquelim
Government College of Commerce, Borda, Margao
Govt College of Arts,Science and Commerce Khandola
HPSMs Ganpat Parsekar College of Education, Harmal
Kala Academy Goas College of Theatre Arts
Mandre College Of Commerce,Economics And Management
Murgaon Education Society College(MESC)
Narayan Zantye College of Commerce, Bicholim.
Nirmala Institute of Education, Altinho, Panaji
P. E. S. s Shri Ravi Sitaram Naik College of Arts & Science , Farmagudi , Ponda
Parvatibai Chowgule College of Arts and Science, Margao
Rosary College of Arts & Commerce, Navelim.
S. S. Dempo College of Commerce & Economics Cujira, Bambolim
S. Vs Sridora Caculo College of Commerce & Management Studies, khorlim, Mapusa
Sai Nursing Institute
Sant Sohirobanath Ambiye Government College of Arts & Commerce, Pernemn
Sateri Pissani Education Society's Shri Gopal Gaonkar Memorial College Goa Multi - Faculty College, Dayanandnagar, Dharbandora
St. Joseph Vaz Educational Societys St. Joseph Vaz College, Church Street, Cortalim
St. Xaviers College of Arts, Science & Commerce, Mapusa
Swami Vivekanand Vidyaprasarak Mandal's College Of Commerce, Shirshire, Bori - Ponda
The C.E.S. College of Arts and Commerce
V.M. Salgaocar College of Law, Miramar - Panaji
Vidya Prabodhini College of Commerce, Education, Computer and Management, Vidya Nagar Porvorim
VVM's Shree Damodar College of Commerce & Economics Margao
DPMSMC
Go
Advanced search
Course reserves
Authority search
Libraries
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Details for:
software verification and analysis
an integrated hands on approach
Image from Amazon.com
Normal view
MARC view
ISBD view
software verification and analysis an integrated hands on approach
By:
laski, janusz
Contributor(s):
laski, janusz
Language:
English
Publication details:
new delhi
springer
2012
Edition:
1
Description:
224p
ISBN:
978-81-322-0451-0
Subject(s):
semantic analysis, programs,computer science
DDC classification:
005.1 las
Summary:
Available
Star ratings
1
2
3
4
5
Cancel rating
.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Title notes ( 1 )
Comments ( 0 )
Holdings
Item type
Home library
Call number
Materials specified
Status
Date due
Barcode
REF
Fr. Agnel college of Arts & Commerce, Pillar
005.1 las (
Browse shelf
(Opens below)
)
Not for loan
FAC-rt1072
Available
There are no comments on this title.
Log in to your account
to post a comment.
Print
Add to your cart
(remove)
Suggest for purchase
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:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
REF
There are no comments on this title.