Showing 1 - 7 of 7 Results
1.
SDL 2007 by Gaudin, Emmanuel, Najm, Eli... ISBN: 9783540749837 List Price: $69.95
2.
Formal Techniques for Networked and Distributed Systems - Forte 2006 26th Ifip Wg 6.1 Intern... by Najm, Elie, Pradat-Peyre, J... ISBN: 9783540462194 List Price: $109.00
3.
Formal Description Techniques and Protocol Specification Forte Xi/Pstv XVIII '98 Ifip Tc6 W... by Budkowski, Stan, Cavalli, A... ISBN: 9780412847608 List Price: $284.00
4.
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X... by Budkowski, Stan, Cavalli, A... ISBN: 9781475752625 List Price: $284.00
5.
Formal Methods for Open Object-Based Distributed Systems by Najm, Elie, Stefani, J. -B. ISBN: 9780412797705 List Price: $299.00
6.
Formal Methods for Open Object-Based Distributed Systems : Volume 1 by Najm, Elie, Stefani, Jean-B... ISBN: 9781504128759
7.
Formal Description Techniques and Protocol Specification, Testing and Verification by Budkowski, Stan, Cavalli, A... ISBN: 9781475752618 List Price: $24.99