ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (Record no. 118654)

MARC details
000 -LEADER
fixed length control field 01069nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 140211s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642340321
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Margaria, Tiziana.
245 ## - TITLE STATEMENT
Title Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
245 ## - TITLE STATEMENT
Remainder of title 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
245 ## - TITLE STATEMENT
Statement of responsibility, etc edited by Tiziana Margaria, Bernhard Steffen.
300 ## - PHYSICAL DESCRIPTION
Extent On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.; Software engineering.; Operating systems (Computers).; Logic design.; Artificial intelligence.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Click her to access the e-Book
Uniform Resource Identifier <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type e-Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        ICCBS Digital Library ICCBS Digital Library 12/02/2014   12/02/2014 12/02/2014 e-Book