Cover Image

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Derrick, John. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vain, Jüri. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4574
Subjects:
Computer communication systems.
Software engineering.
Computer logic.
Operating systems (Computers).
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Operating Systems.
Online Access:https://doi.org/10.1007/978-3-540-73196-2

Internet

https://doi.org/10.1007/978-3-540-73196-2

Similar Items