System specification and design languages : selected contributions from FDL 2010 /
Saved in:
| Imprint: | New York, NY : Springer, c2012. |
|---|---|
| Description: | 1 online resource (xii, 254 p.) |
| Language: | English |
| Series: | Lecture notes in electrical engineering, 1876-1100 ; v.106 Lecture notes in electrical engineering ; v.106. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8872148 |
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | 8872148 | ||
| 003 | ICU | ||
| 005 | 20120827124200.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 111213s2012 nyu ob 100 0 eng d | ||
| 016 | 7 | |a 015978999 |2 Uk | |
| 020 | |a 9781461414278 (electronic bk.) | ||
| 020 | |a 146141427X (electronic bk.) | ||
| 020 | |z 9781461414261 | ||
| 035 | |a (OCoLC)768225111 | ||
| 040 | |a GW5XE |c GW5XE |d COO |d E7B |d UKMGB |d YDXCP |d EBLCP | ||
| 049 | |a CGUA | ||
| 082 | 0 | 4 | |a 004.01/51 |2 23 |
| 090 | |a QA76.9.F67 |b S97 2012 | ||
| 245 | 0 | 0 | |a System specification and design languages : |b selected contributions from FDL 2010 / |c Tom J. Kaźmierski, Adam Morawiec, editors. |
| 260 | |a New York, NY : |b Springer, |c c2012. | ||
| 300 | |a 1 online resource (xii, 254 p.) | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in electrical engineering, |x 1876-1100 ; |v v.106 | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061 | |
| 650 | 0 | |a Software engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008111658 | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121254 | |
| 650 | 0 | |a Software architecture |v Congresses. | |
| 653 | 4 | |a Engineering | |
| 653 | 4 | |a Computer science | |
| 653 | 4 | |a Electronics | |
| 653 | 4 | |a Systems engineering | |
| 653 | 4 | |a Circuits and Systems | |
| 653 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 653 | 4 | |a Processor Architectures | |
| 655 | 4 | |a Electronic books. | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 http://id.worldcat.org/fast/fst00872604 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 http://id.worldcat.org/fast/fst00932926 | |
| 650 | 7 | |a Software architecture. |2 fast |0 http://id.worldcat.org/fast/fst01200416 | |
| 650 | 7 | |a Software engineering. |2 fast |0 http://id.worldcat.org/fast/fst01124185 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 http://id.worldcat.org/fast/fst01423772 | |
| 700 | 1 | |a Kazmierski, Thomas J. |1 http://viaf.org/viaf/172783900 | |
| 700 | 1 | |a Morawiec, Adam. |0 http://id.loc.gov/authorities/names/n2003004189 |1 http://viaf.org/viaf/42888845 | |
| 711 | 2 | |a FDL 2010 |d (2010 : |c Southampton, England) |0 http://id.loc.gov/authorities/names/nb2012001636 |1 http://viaf.org/viaf/225119117 | |
| 830 | 0 | |a Lecture notes in electrical engineering ; |v v.106. | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-1-4614-1427-8 |y SpringerLink |
| 903 | |a HeVa | ||
| 035 | |a (ICU)8872148 | ||
| 929 | |a eresource | ||
| 999 | f | f | |i b5f64dfb-e3dc-5d06-8a60-180bec427fdc |s c5b54d1c-0390-53c3-a288-5f57ad377675 |
| 928 | |t Library of Congress classification |a QA76.9.F67 S97 2012 |l Online |c UC-FullText |u http://dx.doi.org/10.1007/978-1-4614-1427-8 |z SpringerLink |g ebooks |i 11486257 | ||