MARC details
000 -LEADER |
fixed length control field |
01615nam a22003975i 4500 |
001 - |
control field |
978-3-540-88479-8 |
003 - |
control field |
Springer |
005 - |
control field |
20120501163321.0 |
007 - |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100301s2009 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540884798 |
-- |
978-3-540-88479-8 |
024 7# - |
-- |
10.1007/978-3-540-88479-8 |
-- |
doi |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Margaria, Tiziana. |
245 10 - TITLE STATEMENT |
Title |
Leveraging Applications of Formal Methods, Verification and Validation |
Remainder of title |
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / |
Statement of responsibility, etc |
edited by Tiziana Margaria, Bernhard Steffen. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Berlin, Heidelberg : |
Name of publisher, distributor, etc |
Springer Berlin Heidelberg, |
Date of publication, distribution, etc |
2009. |
650 #0 - |
Topical term or geographic name as entry element |
Computer science. |
|
Topical term or geographic name as entry element |
Computer system performance. |
|
Topical term or geographic name as entry element |
Software engineering. |
|
Topical term or geographic name as entry element |
Computer simulation. |
|
Topical term or geographic name as entry element |
Computer Science. |
|
Topical term or geographic name as entry element |
Software Engineering. |
|
Topical term or geographic name as entry element |
Programming Techniques. |
|
Topical term or geographic name as entry element |
Software Engineering/Programming and Operating Systems. |
|
Topical term or geographic name as entry element |
Models and Principles. |
|
Topical term or geographic name as entry element |
Simulation and Modeling. |
|
Topical term or geographic name as entry element |
System Performance and Evaluation. |
700 1# - |
Personal name |
Steffen, Bernhard. |
710 2# - |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
856 40 - |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-540-88479-8 |
245 10 - TITLE STATEMENT |
-- |
[electronic resource] : |
490 0# - |
-- |
Communications in Computer and Information Science, |
-- |
1865-0929 ; |
-- |
17 |
773 0# - |
-- |
Springer eBooks |
776 08 - |
-- |
Printed edition: |
-- |
9783540884781 |
830 #0 - |
-- |
Communications in Computer and Information Science, |
-- |
1865-0929 ; |
-- |
17 |
912 ## - |
-- |
ZDB-2-SCS |
950 ## - |
-- |
Computer Science (Springer-11645) |