Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
David de Frutos-Escrig
Themen in »Formal Techniques for Networked and Distributed Systems - FORTE 2004«
Automat Java Unified Modeling Language (UML) algorithms automata distributed systems petri net routing
Stimmen zu »Formal Techniques for Networked and Distributed Systems - FORTE 2004«
Details
ISBN: 9783540232520
Verlag: Springer Berlin
Erscheinung: 21.09.2004