Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Elie Najm
Themen in »Formal Techniques for Networked and Distributed Systems - FORTE 2006«
calculus communicating systems complexity distributed computing distributed systems embedded systems formal languages formal methods formal specification logic middleware model checking petri nets program slicing semantic fou
Stimmen zu »Formal Techniques for Networked and Distributed Systems - FORTE 2006«
Details
ISBN: 9783540462194
Verlag: Springer Berlin
Erscheinung: 27.09.2006