Tallenna
Formal Techniques for Networked and Distributed Systems
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences.
- Alaotsikko
- FORTE 2001
- Toimittaja
- Myungchul Kim
- Painos
- Softcover reprint of the original 1st ed. 2002
- ISBN
- 9781475788259
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.6.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 464
