Item Details

Formal Techniques for Networked and Distributed Systems, FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, Proceedings

Hartmut König, Monika Heiner, Adam Wolisz, eds
Format
Book
Published
Berlin ; New York : Springer, c2003.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540201750 (alk. paper)
Description
xii, 429 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 2767
Technical Details
  • Access in Virgo Classic

  • LEADER 01474pam a22003974a 4500
    001 u3998375
    003 SIRSI
    005 20031126114005.0
    008 030909s2003 gw a b 101 0 eng
    010
      
      
    a| 2003062850
    020
      
      
    a| 3540201750 (alk. paper)
    035
      
      
    a| (Sirsi) i9783540201755
    035
      
      
    a| (Sirsi) i3540201750
    035
      
      
    a| (OCoLC)53038496
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.F67 b| F67 2003
    082
    0
    0
    a| 004/.01/51 2| 22
    090
      
      
    a| SCIENG/QA76.9.F67 b| F67 2003
    111
    2
      
    a| FORTE 2003 d| (2003 : c| Berlin, Germany)
    245
    1
    0
    a| Formal techniques for networked and distributed systems, FORTE 2003 : b| 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, proceedings / c| Hartmut König, Monika Heiner, Adam Wolisz, eds.
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2003.
    300
      
      
    a| xii, 429 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 2767
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Formal methods (Computer science) v| Congresses.
    650
      
    0
    a| Electronic data processing x| Distributed processing v| Congresses.
    650
      
    0
    a| Computer network protocols v| Congresses.
    700
    1
      
    a| König, Hartmut, d| 1950-
    700
    1
      
    a| Heiner, Monika, d| 1954-
    700
    1
      
    a| Wolisz, Adam.
    999
      
      
    a| QA76.9 .F67 F67 2003 w| LC i| X004745001 l| STACKS m| SCI-ENG t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available