Title Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.)

Published Berlin ; New York : Springer, [2007] ©2007

Online access available from: Springer eBooks    View Resource Record

Copies

Description 1 online resource (xi, 373 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 4574 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 4574. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering. Bibliography Includes bibliographical references and index Notes Print version record Subject Formal methods (Computer science) -- Congresses. Electronic data processing -- Distributed processing -- Congresses. Computer network protocols -- Congresses. Genre/Form Conference papers and proceedings. Conference papers and proceedings. Form Electronic book Author Derrick, John, 1963- Vain, Jüri. IFIP Working Group 6.1. LC no. 2007928737 ISBN 9783540731962 3540731962 9783540731955 (softcover ; alk. paper) 3540731954 (softcover ; alk. paper)

Other Titles FORTE 2007

  Permalink