|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
040 -CATALOGING SOURCE
|
|
a
Original cataloging agency
NEU GrandLibrary
|
|
|
041 -LANGUAGE CODE
|
|
a
Language code of text/sound track or separate title
eng
|
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
|
a
Classification number
QA76.76.T48
|
|
b
Item number
M59 2008
|
|
|
082 -DEWEY DECIMAL CLASSIFICATION NUMBER
|
|
a
Dewey Classification
005.13/3
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Model-based software testing and analysis with C# /
|
|
c
Statement of responsibility, etc
Jonathan Jacky ... [et al.].
|
|
h
Medium
BOOK
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
New York :
|
|
b
Name of publisher, distributor, etc
Cambridge University Press,
|
|
c
Date of publication, distribution, etc
2008.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
xvi, 349 p. :
|
|
b
Other physical details
ill. ;
|
|
c
Dimensions
25 cm.
|
|
|
504 -BIBLIOGRAPHY, ETC. NOTE
|
|
a
Bibliography, etc
Includes bibliographical references (p. 333-339) and index.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer software
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer software
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
C# (Computer program language)
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Jacky, Jonathan.
|
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|
|
