Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain.

Derrick, John. (editor.). Vain, Jüri. (editor.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9783540731962
• Physical Description: XI, 375 p. Also available online. online resource.
• Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 4574
• Lecture Notes in Computer Science, 0302-9743 ; 4574