|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
a
ISBN
978-364-2214547 (pbk. : acid-free paper-)
|
|
|
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.758
|
|
b
Item number
.F67 2011
|
|
|
111 -MAIN ENTRY--MEETING NAME
|
|
a
Meeting name or jurisdiction name as entry element
International School on Formal Methods for the Design of Computer, Communication and Software Systems
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Formal methods for eternal networked software systems :
|
|
b
Remainder of title
|
|
c
Statement of responsibility, etc
Marco Bernardo, Valérie Issarny (Eds.).
|
|
h
Medium
BOOK
|
|
|
246 -VARYING FORM OF TITLE
|
|
a
Title proper/short title
|
|
|
246 -VARYING FORM OF TITLE
|
|
a
Title proper/short title
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
London :
|
|
b
Name of publisher, distributor, etc
Springer,
|
|
c
Date of publication, distribution, etc
2011.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
viii, 526 pages :
|
|
b
Other physical details
illustrations ;
|
|
c
Dimensions
24 cm.
|
|
|
490 -SERIES STATEMENT
|
|
a
Series statement
Lecture notes in computer science
|
|
v
Volume number/sequential designation
6659
|
|
|
504 -BIBLIOGRAPHY, ETC. NOTE
|
|
a
Bibliography, etc
Includes bibliographical references and index.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Software engineering
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Bernardo, Marco,
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Issarny, Valérie,
|
|
