Siirry suoraan sisältöön
Formal Techniques for Networked and Distributed Systems
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
Sivumäärä
464