Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Saved in:
| Meeting name: | FORTE 2007 (2007 : Tallinn, Estonia) |
|---|---|
| Imprint: | Berlin ; New York : Springer, ©2007. |
| Description: | 1 online resource (xi, 373 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 4574 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 4574. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11066716 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11066716 | ||
| 005 | 20170630045700.7 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 080128s2007 gw a ob 101 0 eng d | ||
| 003 | ICU | ||
| 010 | |a 2007928737 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCG |d N$T |d YDXCP |d YNG |d COO |d NUI |d E7B |d UBC |d OCLCQ |d OCLCF |d BEDGE |d OCLCO |d IDEBK |d OCLCQ |d SLY |d OCLCO |d OCL |d OCLCO |d EBLCP |d DEBSZ |d OCLCQ |d OCLCO |d VT2 |d LVT | ||
| 016 | 7 | |a 984272224 |2 DE-101 | |
| 019 | |a 179819625 |a 232301851 |a 288238911 |a 607341705 |a 613491979 |a 646764516 |a 880098622 |a 964932683 | ||
| 020 | |a 9783540731962 | ||
| 020 | |a 3540731962 | ||
| 020 | |a 9783540731955 |q (softcover ; |q alk. paper) | ||
| 020 | |a 3540731954 |q (softcover ; |q alk. paper) | ||
| 024 | 7 | |a 10.1007/978-3-540-73196-2 |2 doi | |
| 035 | |a (OCoLC)191469617 |z (OCoLC)179819625 |z (OCoLC)232301851 |z (OCoLC)288238911 |z (OCoLC)607341705 |z (OCoLC)613491979 |z (OCoLC)646764516 |z (OCoLC)880098622 |z (OCoLC)964932683 | ||
| 037 | |a 978-3-540-73195-5 |b Springer |n http://www.springerlink.com | ||
| 050 | 4 | |a QA76.9.F67 |b F67 2007eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x 043040 |2 bisacsh | |
| 084 | |a TP338. 8-532 |2 clc | ||
| 084 | |a TP393. 01-532 |2 clc | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a FORTE 2007 |d (2007 : |c Tallinn, Estonia) |0 http://id.loc.gov/authorities/names/nb2007015528 | |
| 245 | 1 | 0 | |a Formal techniques for networked and distributed systems-- FORTE 2007 : |b 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / |c John Derrick, Jüri Vain (eds.). |
| 246 | 3 | 0 | |a FORTE 2007 |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2007. | ||
| 300 | |a 1 online resource (xi, 373 pages) : |b illustrations. | ||
| 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 computer science, |x 0302-9743 ; |v 4574 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061 | |
| 650 | 0 | |a Electronic data processing |x Distributed processing |v Congresses. | |
| 650 | 0 | |a Computer network protocols |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101491 | |
| 650 | 7 | |a COMPUTERS |x Networking |x Network Protocols. |2 bisacsh | |
| 650 | 0 | 7 | |a Electronic data processing |x Distributed processing. |2 cct |
| 650 | 0 | 7 | |a Computer network protocols. |2 cct |
| 650 | 0 | 7 | |a Formal methods (Computer science) |2 cct |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Computer network protocols. |2 fast |0 (OCoLC)fst00872279 | |
| 650 | 7 | |a Electronic data processing |x Distributed processing. |2 fast |0 (OCoLC)fst00906987 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Derrick, John, |d 1963- |0 http://id.loc.gov/authorities/names/n2001001216 |1 http://viaf.org/viaf/85435009 | |
| 700 | 1 | |a Vain, Jüri. |0 http://id.loc.gov/authorities/names/n2006031793 |1 http://viaf.org/viaf/68354429 | |
| 710 | 2 | |a IFIP Working Group 6.1. |0 http://id.loc.gov/authorities/names/n84145129 |1 http://viaf.org/viaf/124386778 | |
| 776 | 0 | 8 | |i Print version: |a FORTE 2007 (2007 : Tallinn, Estonia). |t Formal techniques for networked and distributed systems-- FORTE 2007. |d Berlin ; New York : Springer, ©2007 |z 9783540731955 |z 3540731954 |w (DLC) 2007928737 |w (OCoLC)144615306 |
| 830 | 0 | |a Lecture notes in computer science ; |v 4574. |x 0302-9743 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-540-73196-2 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 08dca378-d3d4-5fc8-935d-46739f61d066 |s 729ff660-37a1-5f87-a430-e3c5036e314d |
| 928 | |t Library of Congress classification |a QA76.9.F67 F67 2007eb |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-540-73196-2 |z SpringerLink |g ebooks |i 9874671 | ||