MARC details
| 000 -LÍDER |
|---|
| fixed length control field |
03444nam a22005535i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| control field |
u375268 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| control field |
SIRSI |
| 005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN |
|---|
| control field |
20160812084316.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL |
|---|
| fixed length control field |
101009s2010 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| International Standard Book Number |
9783642162770 |
| -- |
978-3-642-16277-0 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Transcribing agency |
MX-MeUAM |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Classification number |
QA76.758 |
| 082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL |
|---|
| Personal name |
Giese, Holger. |
| Relator term |
editor. |
| 245 10 - MENCIÓN DE TITULO |
|---|
| Title |
Model-Based Engineering of Embedded Real-Time Systems |
| Medium |
[recurso electrónico] : |
| Remainder of title |
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / |
| Statement of responsibility, etc. |
edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2010. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extent |
XV, 385p. 94 illus. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - MENCIÓN DE SERIE |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6100 |
| 520 ## - NOTA DE RESUMEN, ETC. |
|---|
| Summary, etc. |
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain. |
| 596 ## - |
|---|
| -- |
19 |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer system performance. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Logic design. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer simulation. |
| 650 14 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer Science. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Programming Techniques. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Programming Languages, Compilers, Interpreters. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Logics and Meanings of Programs. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Simulation and Modeling. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
System Performance and Evaluation. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Karsai, Gabor. |
| Relator term |
editor. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Lee, Edward. |
| Relator term |
editor. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Rumpe, Bernhard. |
| Relator term |
editor. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Schätz, Bernhard. |
| Relator term |
editor. |
| 710 2# - ASIENTO SECUNDARIO - NOMBRE CORPORATIVO |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642162763 |
| 830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME |
|---|
| Uniform title |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume number/sequential designation |
6100 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Public note |
Libro electrónico |
| Uniform Resource Identifier |
<a href="http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-16277-0">http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-16277-0</a> |
| 942 ## - TIPO DE MATERIAL (KOHA) |
|---|
| Koha item type |
Libro Electrónico |
